Please note that VerifyThus was last updated in 2011. The distribution should still work, but it no longer reflects the current state of verification technology and is mostly a historical artifact now.