Computerunterstützte Verifikation mit abstrakten Modellen

• Antragstellerin: Professorin Dr. Christel Baier
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2001 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5344856

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-Verfahren: Sachbeihilfen
• Beteiligte Person: Alexander Asteroth