Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.
Partner
- IBM Deutschland
- University of Edinburgh
Projekt
PGKit
Generische Benutzerschnittstellen für interaktive Theorembeweiser
-
Laufzeit:
-
Forschungsthemen
Sonstige
- Anwendungsfelder
Sonstige
Keyfacts
- Beteiligte Forschungsbereiche
Cyber-Physical Systems - Leitung
Prof. Dr. Christoph Lüth - Webseite
http://proofgeneral.inf.ed.ac.uk/kit