Yirmibir / boogie

verifiable programming language (compiler)

•     Benjamin Barenblat
•     bbaren@mit.edu
•     http://research.microsoft.com/en-us/projects/boogie/
•     boogie_2.4.1+dfsg-0.1_all.deb
•     2.4.1+dfsg-0.1
•     16.2 KiB
•     cli-mono
•     all
•     verifiable programming language (compiler)

Versions in other Pardus versions