Preliminary results of a case study: model checking for advanced automotive applications

Stefan Eisler,Christian Scheidler,Bernhard Josko,Guido Sandmann,Joachim Stroop

FM 2005: FORMAL METHODS, PROCEEDINGS（2005）

引用 6|浏览0

暂无评分

摘要

Model checking is a promising formal verification technique successfully applied in several industrial environments, such as in chip design and in the telecommunication industry. In this paper, preliminary results of an automotive case study are presented as performed in the context of the European project EASIS.

查看译文

关键词

model checking,telecommunication industry,preliminary result,chip design,promising formal verification technique,advanced automotive application,automotive case study,industrial environment,european project,formal verification,chip

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要