伟德国际_伟德国际1946$娱乐app游戏

图片

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.

Wissenschaftlicher Mitarbeiter
Institut für Software & Systems Engineering
  • Telefon: +49 821 598 2124
  • E-Mail: