Software Projects

HOL-OCL: An Interactive UML/OCL Proof Environment
HOL-TestGen: A test case generator for specification based unit testing.
Isabelle/OFMC: A protocol verification tool based on Isabelle/HOL and OFMC.
HOL-Z: An Interactive Proof Environment for Z
svninfo: LaTeX Support for Subversion
IsaMorph: A Ready-to-Run Isabelle CD
Unoffical Debian repository with Isabelle and IsaMorph related stuff

Title: Website of Achim D. Brucker - Projects

URL: http://www.brucker.ch/projects/index.en.html

(c) 2003-2013 by Achim D. Brucker.

Page generated: 2013-03-30

Page modfied: 2011-08-27