VerifyThus is a linux distribution with a number of verification tools pre-installed and ready to run. Current releases are 1.0.x
The distribution is available for download
- bootable virtual machine image (compatible with most current virtualization products)
- bootable CD/DVD image
- bootable USB stick image
Which tools are inside?
- Currently: Boogie, Dafny, ESC/Java2, Jahob, JavaFAN, jStar, KeY, KIV, Krakatoa, Verifast (all details and instructions on how to start the tools)
- SMT solvers: Simplify, CVC3, Z3, Alt-ergo
- Others tools to follow (if you would like your tool included, please drop us a note)
Contact Vladimir Klebanov
Support from Sarah Grebing, Joe Kiniry, and Zvonimir Rakamaric is gratefully acknowledged.