Is this property always true?
'►' 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.
Privacy & Cookies
| © 2017 Microsoft