Software Projects
HOL
-
OCL
: An Interactive
UML
/
OCL
Proof Environment
HOL
-TestGen: A test case generator for specification based unit testing.
IsaMorph: A Ready-to-Run Isabelle CD