Computerunterstützte Verifikation mit abstrakten Modellen

Applicant Professorin Dr. Christel Baier
Subject Area Theoretical Computer Science
Term from 2001 to 2006
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5344856
 

Project Description

Unser Ziel ist die Entwicklung von Abstraktionstechniken, die eine vollautomatische Systemanalyse für eine breite Klasse von Hard- und Softwaresystemen ermöglichen. Die Ergebnisse sollen in einem Prototypwerkzeug implementiert werden, das anhand mehrerer Fallstudien die theoretischen Effizienzbetrachtungen um experimentelle Ergebnisse ergänzen und Einblick in die Anwendbarkeit der entworfenen Methoden auf "reale" Systeme geben sollen.
DFG Programme Research Grants
Participating Person Alexander Asteroth