NAME

       bvd - 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 Expat license.

       This manual page is copyright © 2013, 2015-2016 Benjamin Barenblat and licensed under the Expat license.

Git snapshot 1f2d6c1                               2016-08-17                                             bvd(1)