Microsoft Research Boogie

https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/

boogie.zip

Boogie is a program verification system that produces verification conditions for programs written in an intermediate language (also named Boogie). The intermediate language is easy to target from source languages such as Spec#, C#, or even C.

• verification
• compiler