Home

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?

Questions?

Contact Vladimir Klebanov.

Support from Sarah Grebing, Joe Kiniry, and Zvonimir Rakamaric is gratefully acknowledged.