×

中央军委

swMATH标识: 12422
软件作者: 弗朗索瓦·拉鲁西尼;金·G·拉森
说明: CMC:实时系统的组合模型检查工具。本文提出了一种用于实时系统组合模型检验的工具(CMC)。与现有的实时验证工具(HYTECH、KRONOS、UPPAAL)相比,CMC基于一种完全不同的方法。在描述了该方法之后,我们通过两个例子来说明它的有效性:Fischer互斥协议和铁路道口系统。
主页: http://rd.springer.com/chapter/10.1007/978-0-387-35394-4_27
相关软件: 乌帕阿尔;克洛诺斯;高超声速;蒂娜;罗密欧;如果-2.0;乌帕阿尔提加;红色图书馆;辛西娅;FC2工具;凯撒解决方案;Exp.打开;CADP;网论;塔帕尔;害虫;穆迪夫;github;利比亚人;TCT
参考文献: 31种出版物

按年份引用出版物