What?VerifyThus is a linux distribution with a number of verification tools pre-installed and ready to run. Current releases are 1.0.x. How?The distribution is available for download as a: - 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.
|
|