Description
Intermediate verification language.
Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages.
This derivation may be used as a vim plugin to provide syntax highlighting.