Tools for Model‐Checking Timed Systems

Alexandre David,Gerd Behrmann,Peter Bulychev,Joakim Byg,Thomas Chatain,Kim G. Larsen,Paul Pettersson,Jacob Illum Rasmussen,Jiří Srba,Wang Yi, Kenneth Y. Joergensen,Didier Lime,Morgan Magnin,Olivier H. Roux,Louis‐Marie Traonouez

Communicating Embedded Systems（2013）

被引用28|浏览66

摘要

This chapter contains sections titled: Introduction UPPAAL UPPAAL-CORA UPPAAL-TIGA TAPAAL ROMÉO: a tool for the analysis of timed extensions of Petri nets Bibliography

更多

查看译文

关键词

Model Checking,Stochastic Petri Nets,Tool Integration,Temporal Logic

上传PDF

引用

AI Read Science

溯源树

样例

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

AI Read Science

数据免责声明

页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cn

Chat Paper

正在生成论文摘要

AI Read Science

溯源树

样例

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