Projekte

Zeige Ergebnisse 81 bis 84 von 84

GenMod – Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken

Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als …
HasCASL – HasCASL

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.
PGKit – Generische Benutzerschnittstellen für interaktive Theorembeweiser

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …
AWE – Abstraktion und Wiederverwendung Formaler Entwicklungen

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung. Partner …