课题基金 / 基金详情

Computerunterstützte Verifikation mit abstrakten Modellen

Computerunterstützte Verifikation mit abstrakten Modellen
抽象模型的计算机辅助验证
批准号：
5344856
负责人：
Professorin Dr. Christel Baier
金额：
$0.0万
依托单位：
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
关键词：
ComputeruntersttzteVerifikationmitabstrakten

项目摘要

项目成果

Professorin Dr. Christel Baier的其他基金

相似基金

相关文献

中文摘要
翻译
Unser Ziel is die Entwicklung von Abstraktionstechniken，die eine vollautomatische Systemanalyse für eine breite Klasse von Hard- und Softwareysystemen ermöglichen.在韦尔登的实现过程中，该任务是不可解决的，而Faller的研究则是在“真实”系统中的工作方法的实现过程中，对实验任务的理论有效性进行了研究和分析。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Temporal Logics and Probabilistic Model Checking for Weighted Structures
Unambiguity, alternation and non-standard acceptance in automata-based probabilistic model checking
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
  • 批准号：
    133365105
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2009
  • 负责人：
    Professorin Dr. Christel Baier
  • 依托单位：
    Institut für Technische Informatik
Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
  • 批准号：
    147212833
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2009
  • 负责人：
    Professorin Dr. Christel Baier
  • 依托单位：
    Institut für Theoretische Informatik
海外基金