Projekte (Software)

• HOL-OCL: Eine interaktive Beweisumgebung für UML/OCL
• HOL-TestGen: Ein Testfall-Generator für den spezifikationsbasierten Unit-Test
• Isabelle/OFMC: Ein Werkzeug zur Verifikation von Sicherheitsprotokollen welches auf Isabelle/HOL und OFMC aufbaut
• 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.