boogie
Is this property always true?
loading...
'►' shortcut: Alt+B
about Boogie - Intermediate Verification Language
Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2017 Microsoft