boogie
by Microsoft
Is this property always true?
loading...
home
permalink
'►' shortcut: Alt+B
samples
McCarthy-91
Find
DutchFlag
Bubble
about Boogie - Intermediate Verification Language
Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages.
tools
developer
about
rise4fun © 2013 Microsoft Corporation -
terms of use
-
privacy & cookies
-
code of conduct