Computerunterstützte Verifikation mit abstrakten Modellen

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