Formale Methoden
Das Institut arbeitet aktiv an neuen Techniken für die Systementwicklung mit Formalen Methoden. Unsere Forschung konzentriert sich auf Verfeinerung (Refinement) als grundlegende Methode zur modularen, schrittweisen top-down Entwicklung von Systemen beginnend mit einer abstrakten Spezifikation. Die Methodik für sequentielle Systeme basiert auf Abstrakten Zustandsmaschinen (Abstract State Machines).? Die Analyse nebenl?ufiger Systeme beruht auf der kompositionalen, temporalen Programmlogik "RGITL". Unsere Gruppe
bietet das von uns entwickelte KIV-System an, ein interaktives Beweisersystem, das die genannten Techniken unterstützt. Derzeit arbeiten wir am Flashix-Projekt, in dem ein verifiziertes, einsetzbares Dateisystem für Flashspeicher entwickelt wird.
- Telefon: +49 821 598 2124
- E-Mail: schellhorn@informatik.uni-augsburginformatik.uni-augsburg.de ()