Computerunterstützte Verifikation mit abstrakten Modellen

抽象模型的计算机辅助验证

• 批准号: 5344856
• 负责人: Professorin Dr. Christel Baier
• 金额: --
• 依托单位: Professur für Algebraische und logische Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5344856?language=en
• 关键词: Computerunterst; tzte; Verifikation; mit; abstrakten

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.

Unser Ziel is die Entwicklung von Abstraktionstechniken，die eine vollautomatische Systemanalyse für eine breite Klasse von Hard- und Softwareysystemen ermöglichen.在韦尔登的实现过程中，该任务是不可解决的，而Faller的研究则是在“真实”系统中的工作方法的实现过程中，对实验任务的理论有效性进行了研究和分析。