Providing documentation and testcases for the theorem prover Isabelle

• Antragsteller: Dr. Christian Urban
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2008 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 70489253

Isabelle ist einer der erfolgreichsten interaktiven Theorembeweiser. Er wird seit 20 Jahren entwickelt und wurde mit großem wissenschaftlichen Nutzen in mehreren umfangreichen Verifikationsprojekten eingesetzt. Wir möchten hiermit Gelder beantragen, die für die Dokumentation der API-Schnittstelle und für die Aufstellung einer Sammlung von Testfällen ausgegeben werden können. Damit wollen wir sicherstellen, dass Isabelle langfristig weiterentwickelt werden kann und unabhängige Wissenschaftler ihre Arbeiten auf Isabelle aufbauen können.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Großbritannien