bvd(1) Boogie Verification Debugger

SYNOPSIS

bvd

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.