boogie

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.

Name

Boogie

Main Program

boogie

Programs

• BoogieDriver
• boogie

Homepage

• https://github.com/boogie-org/boogie

Version

3.5.6

License

• MIT License

Maintainers

• Remy Goldschmidt

Platforms

• x86_64-linux
• aarch64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source