| bvd(1) | Boogie | bvd(1) |
bvd - Boogie Verification Debugger
bvd
bvd is an interactive verification condition debugger for for Microsoft Research's Boogie programming language.
bvd is a graphical program and accepts no options on the command line.
Boogie is copyright © 2003-2015 Microsoft Corporation and licensed under the Expat license.
This manual page is copyright © 2013, 2015-2016 Benjamin Barenblat and licensed under the Expat license.
| 2016-08-17 | Git snapshot 1f2d6c1 |