: An Interactive
-TestGen: A test case generator for specification based unit testing.
: A protocol verification tool based on Isabelle/
SecureBPMN: An approach for modeling and analyzing secure business processes and secure service compositions using BPMN.
-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
(c) 2003-2019 by
Achim D. Brucker
Page generated: 2019-06-16