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.未结;钙磷;网论;TAPAAL公司;GPU验证;TCT公司;github;害虫;MuDiv公司 引用于: 31文件 全部的 前5名57位作者引用 7 弗兰克·卡塞兹 5 Aceto,卢卡 5 金·古德斯特兰·拉森 4 帕特里夏·鲍耶 4 吉·斯尔巴 三 Anna Ingólfsdóttir 三 弗朗索瓦·拉鲁西尼 2 兰斯·克莱维兰 2 伊曼纽尔·弗勒里 2 彼得·丰塔纳 2 拉塞·雅各布森 2 莫滕·雅各布森 2 弗雷德里克·朗 2 莱姆,迪迪埃 2 拉杜·马特埃斯库 2 米凯尔·哈克杰·默勒 2 奥利维尔·H·鲁克斯。 1 David A.Basin。 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 阿尔弗雷多·奥利维罗 1 米克尔·莱克·佩德森 1 安托万·C·佩蒂特。 1 鲍尔森,Jan 1 Jean-François拉斯金 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) 按年份列出的引文