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  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.