Spec# project

[Google Scholar] [Website] [Wikipedia]

Notes: contract driven development, Boogie verifier, modular verification

Spec# is a formal verification language that supports contract driven development / modular verification. Spec# was developed by Microsoft Research.

The Boogie verifier was part of the Spec# project.


Boogie verifier