Webseite von Achim D. Brucker
[Start]
[Forschung]
[Projekte]
[Deutsch]
[English]
[Diese Seite drucken]
Projekte
[
HOL
-
OCL
]
[
HOL
-TestGen]
[svninfo]
[IsaMorph]
[Debian]
Projekte
HOL
-
OCL
: Eine interaktive Beweisumgebung für
UML
/
OCL
HOL
-TestGen: Ein Testfall-Generator für den spezifikationsbasierten Unit-Test
HOL
-Z: Eine interaktive Beweisumgebung für Z
svninfo: LaTeX Unterstützung für Subversion
IsaMorph: Ein sofort lauffähiges Isabelle Setup
Inoffizielles Debian Repository fuer Isabelle und IsaMorph.
