Website of Achim D. Brucker
[Home]
[Research]
[Publications]
Deutsch
Print this page
Projects
[
HOL
-
OCL
]
[
HOL
-TestGen]
[IsaMorph]
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