Projekte (Software)

• HOL-OCL: Eine interaktive Beweisumgebung für UML/OCL
• HOL-TestGen: Ein Testfall-Generator für den spezifikationsbasierten Unit-Test
• IsaMorph: Ein sofort lauffähiges Isabelle Setup