Gypsy Verification Environment
This was an early system for specifying formal designs of computing systems and proving their correctness.
English
Supported Technologies
Linux,
Solaris/Sun OS
Click on a technology to view similar products within this category.
Pricing
Other
30 to 100
mksmith@acm.org
We would provide this for roughly the cost of creating a CD
Additional Product Information
See report 4 and 36 at http://www.cli.com/reports/index.html