bionic (1) bvd.1.gz

Provided by: boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all bug

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.


       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.