Providing documentation and testcases for the theorem prover Isabelle

• Applicant: Dr. Christian Urban
• Subject Area: Theoretical Computer Science
• Term: from 2008 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• International Connection: United Kingdom