中央军委 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种出版物 全部的 前5名56位作者引用 7 卡塞兹，弗兰克 5 醋酸，卢卡 5 拉森，金·古德斯兰德 4 布耶，帕特里夏 4 斯尔巴，吉 三 安娜，英格尔夫斯多蒂尔 三 拉鲁西尼，弗朗索瓦 2 克里夫兰，兰斯 2 弗勒里，伊曼纽 2 Fontana，彼得 2 雅各布森，拉丝 2 雅各布森，莫顿 2 朗，弗里德里克 2 莱姆，迪迪埃 2 马特斯库，拉杜 2 默勒，米凯尔·哈克尔 2 鲁克斯，奥利弗H。 1 盆地，大卫A。 1 贝尔曼，格尔德 1 Bérard，Béatrice 1 伯吉斯森，阿纳尔 1 博德，恰拉 1 布拉伯曼，维克托 1 布尔盖诺，奥古斯托 1 比格，乔金 1 查坦，托马斯 1 科斯塔，加布里埃尔 1 大卫，亚历山德拉 1 德加诺，皮尔波洛 1 迪尔克斯，亨宁 1 迪格尔，尤尔根 1 哑弹，凯瑟琳 1 埃斯帕扎，哈维尔 1 法布雷加斯，伊格纳西奥 1 加莱塔，莱特欧 1 Garavel，休伯特 1 加伯维茨基，迭戈 1 格雷戈里奥·罗德里格斯，卡洛斯 1 哈达德，谢尔盖 1 黄根典 1 杰克逊，丹尼尔 1 贾德，克劳德 1 约根森，肯尼思·伊尔克 1 库普费希米德，塞巴斯蒂安 1 梅德尔，莫妮卡 1 奥利弗罗，阿尔弗雷多 1 佩德森，米克尔·莱克 1 佩蒂特，安托万·C。 1 鲍尔森，简 1 拉斯金，让·弗朗索瓦 1 雷尼尔，皮埃尔·阿兰 1 鲁迪，凯伦 1 蒂莫，奥马尔·兰德里·恩古纳 1 Waez，医学博士Tawhid Bin 1 王，法恩 1 于，方 全部的 前5名在11个系列中引用 三 理论计算机科学 1 倒排索引综述 1 信息学报 1 自动推理杂志 1 逻辑、语言与信息杂志 1 雷罗。理论信息学与应用 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 雷罗。理论信息学与应用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 31 计算机科学（68-XX） 6 数理逻辑与基础（03-XX） 2 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 2 系统论；控制（93-XX） 按年份引用出版物