NAME¶
bvd - Boogie Verification Debugger
DESCRIPTION¶
bvd is an interactive verification condition debugger for for Microsoft
Research's Boogie programming language.
OPTIONS¶
bvd is a graphical program and accepts no options on the command line.
COPYRIGHT¶
Boogie is copyright © 2003-2015 Microsoft Corporation and licensed under
the Microsoft Public License
<https://msdn.microsoft.com/en-us/library/ff647676.aspx>.
This manual page is copyright © 2013, 2015-2016 Benjamin
Barenblat and licensed under the Apache License, Version 2.0.