Boogie is a programming language created in 2008.
#1876on PLDB | 16Years Old | 21Repos |
The Boogie IVL (intermediate verification language) is a simple language designed for verification which was originally created by Microsoft Research.
// Variable a is a nested map that maps
// integers to a map that maps 32-bit wide bitvectors
// to booleans.
var a:[int][bv32]bool;
Feature | Supported | Example | Token |
---|---|---|---|
Comments | ✓ | ||
MultiLine Comments | ✓ | ||
Line Comments | ✓ | ||
Integers | ✓ |