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.