CMC公司 swMATH ID: 12422 软件作者： 弗朗索瓦·拉鲁西尼；金·拉森 描述： CMC：实时系统的组合模型检查工具。在本文中，我们提出了一种用于实时系统组合模型检查的工具（CMC）。CMC基于与现有实时验证工具（HYTECH、KRONOS、UPPAAL）完全不同的方法。在描述了该方法之后，我们通过两个例子来说明其效率：费歇尔互斥协议和铁路交叉系统。 主页： http://rd.springer.com/chapter/10.1007/978-0-387-35394-4_27 相关软件： Uppaal公司；克洛诺斯；高超声速；TINA公司；罗密欧；IF-2.0型；UPPAAL TIGA公司；重新校准；辛西娅；fc2工具；CAESAR_解决；Exp.未结；CADP公司；网论；TAPAAL公司；GPU验证；TCT公司；github；害虫；MuDiv公司 引用于： 31文件 全部的 前5名57位作者引用 7 弗兰克·卡塞兹 5 卢卡·埃特罗 5 金·古德斯特兰·拉森 4 帕特里夏·鲍耶 4 吉·斯尔巴 三 Ingólfsdóttir，安娜 三 弗朗索瓦·拉鲁西尼 2 牧场克利夫兰 2 伊曼纽尔·弗勒里 2 彼得·丰塔纳 2 雅各布森，拉塞 2 莫滕·雅各布森 2 弗雷德里克·朗 2 莱姆，迪迪埃 2 拉杜·马特埃斯库 2 米凯尔·哈克杰·默勒 2 奥利维尔·H·鲁克斯。 1 David A.Basin。 1 格德·贝尔曼 1 Bérard，Béatrice公司 1 阿纳尔·比吉松 1 奇亚拉博迪 1 维克托·布拉伯曼 1 奥古斯托·布尔古埃诺 1 拜格，乔金 1 托马斯·查泰恩 1 加布里埃尔·科斯塔 1 亚历山大·戴维 1 皮耶保罗·德加诺 1 海宁·迪尔克斯 1 朱尔根·丁格尔 1 凯瑟琳·杜福尔德 1 哈维尔·埃斯帕尔扎 1 伊格纳西奥·法布雷加斯 1 盖列塔，莱特里奥 1 休伯特·加拉维 1 迭戈·加伯维茨基 1 卡洛斯·格雷戈里奥·罗德里格斯 1 谢尔盖·哈达德 1 黄耿典 1 丹尼尔·杰克逊 1 克洛德·贾德 1 约根森、肯尼思·伊尔克 1 塞巴斯蒂安·库普弗施米德 1 莫妮卡·迈德尔 1 穆罕默德·穆萨维 1 阿尔弗雷多·奥利维罗 1 米克尔·莱克·佩德森 1 安托万·C·佩蒂特。 1 鲍尔森，Jan 1 让-弗朗索瓦·拉斯金 1 皮埃尔·阿莱·雷尼尔 1 鲁迪、凯伦 1 蒂莫，奥马尔·兰德里·恩圭纳 1 Waez，Md Tawhid Bin 1 王法恩 1 于、方 全部的 前5名11篇连载文章中引用 三 理论计算机科学 1 倒排索引综述 1 信息学报 1 自动推理杂志 1 逻辑、语言与信息杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 31 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 按年份列出的引文