bvd1
Boogie verification debugger
Usage
bvd
Overview
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.
Releases
3 releases since Debian 9 (Stretch); the text changed 1 time.