VerifyThus
Search this site
Notice
VerifyThus was last updated 2011.
Home
Included Tools
Download
Documentation & Support
Configuring a Virtual Machine
Configuring the OS
Booting from a USB Stick
ChangeLog
Known Issues
What Now?
Common Example
Contact
IC0701 Home
Documentation & Support
>
What Now?
Welcome to VerifyThus, a linux distribution with verification tools pre-installed and ready to run.
This is the page you see when the boot process has worked. What now?
Configure the OS to suit your needs
(keyboard, screen, network)
Browse the list of
included tools
Try them on the
common example
Check out online:
the
latest version
of this website
the
VerifyThis
verification benchmark repository
other offerings from
COST Action IC0701
the
Verified Software Competition website
where several of the included tools have competed
Tell us
what you think
Comments
