bvd
verifiable programming language (compiler)
Install
- All systems
-
curl cmd.cat/bvd.sh
- Debian
-
apt-get install boogie - Ubuntu
-
apt-get install boogie - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install boogie - Raspbian
-
apt-get install boogie - Dockerfile
- dockerfile.run/bvd
boogie
verifiable programming language (compiler)
Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice. This package contains the Boogie compiler, as well as bvd, the Boogie Verification Debugger.