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.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct