SLMC公司 swMATH ID: 4604 软件作者: 雨果·维埃拉;路易斯·凯雷斯 描述: SLMC:根据动态空间逻辑规范对并发系统进行模型检查的工具。空间逻辑模型检查器是一种工具,用于根据Caires和Cardelli并发的空间逻辑中表示的安全性、活性和结构属性验证π演算系统。模型检查是用于检查软件系统时间属性的最广泛的技术之一。然而,当分析集中于与资源使用、位置、干扰、移动性或拓扑相关的属性时,对空间属性和结构动力学进行推理至关重要。SLMC是目前唯一支持系统行为和空间属性组合分析的工具。该实现是用OCAML编写的,成熟且健壮,可用于开源,并且优于其他用π演算建模的系统验证工具。 主页: http://ctp.di.fct.unl.pt/SLMC/ 相关软件: 棱镜;风笛手;莫德;科莱姆;生物-PEPA;BlenX公司;Uppaal公司;琳达;魔法;裴楚丘;MONA公司;MoMo公司;新鲜ml;生物环境机器;政治公众人物协议;汽车;JML公司;生物网络生成;CC-Pi公司;佩斯卡 引用于: 75文件 更多出版物: http://ctp.di.fct.unl.pt/SLMC/bibpage.html 标准条款 1出版物描述软件 年份 SLMC:根据动态空间逻辑规范检查并发系统模型的工具凯雷斯,路易斯;雨果·托雷斯·维埃拉 2012 全部的 前5名103位作者引用 7 路易斯·凯雷斯 5 卢卡·卡德利 5 拉杜·马达尔 三 露西娅·阿西艾 三 米歇尔·博雷尔 三 罗伯托·布鲁尼 三 文森佐·西安西亚 三 莫雷诺,法拉斯基 三 罗伯托·戈里埃里 三 戴安娜埃尔米思 三 阿尔贝托·卢什·拉富恩特 三 米歇尔·洛雷蒂 三 艾蒂安·洛兹 2 安德烈亚·克拉克·布拉夏利 2 戴维·齐亚鲁吉 2 洛科·德尼古拉 2 约斯特·恩格尔弗里特 2 默多克·詹姆斯·加贝 2 法比奥·加杜奇 2 贾林·盖尔塞马 2 乔治·盖利 2 安德鲁·戈登。 2 罗伯塔·戈里 2 汉斯·休特尔 2 迭戈·拉特拉 2 弗朗西丝卡·列维 2 梅克·马西克 2 何塞·梅塞盖尔·瓜伊塔 2 罗宾·米尔纳 2 乌戈·蒙塔纳里。 2 O'Hearn,Peter W。 2 卡洛斯·奥拉特 2 德克·帕丁森 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 马丁·威尔辛 1 乔治·巴奇 1 Bae,Kyungmin先生 1 保罗·巴尔丹 1 马丁·伯杰(Martin J.Berger)。 1 安德烈亚·贝尔尼尼 1 琳达·布罗多 1 杰兹·布热津斯基 1 克里斯蒂亚诺·加尔卡尼奥 1 马蒂奥·卡瓦利埃 1 维托尔德·查拉托尼克 1 达尔·齐利奥(Dal Zilio,Silvano) 1 埃里克·P·德文克。 1 皮耶保罗·德加诺 1 迪诺·迪斯特法诺 1 达里奥什·德沃尼科夫斯基 1 乌里法伦伯格 1 吉安·路易吉,法拉利 1 科马克·弗拉纳根 1 菲利普·安·加德纳 1 Jan Friso,格鲁特 1 管旭东 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 C.A.R.Tony Hoare 1 本田、高黑 1 诺里希罗·卡米德 1 Joost-Pieter卡托恩 1 巴托克·克林 1 亚历山大·纳普 1 直纪小林 1 巴巴拉·科尼格 1 简·Křetínsk 1 金·古德斯特兰·拉森 1 Legay、Axel 1 詹姆斯·莱弗。 1 斯蒂芬·默兹 1 罗兰·梅耶 1 马里诺·米库兰 1 蒙雷利,贾科玛·瓦伦蒂娜 1 Supratik Mukhopadhyay公司 1 弗莱明·尼尔森 1 谢恩·奥斯·孔丘 1 萨利姆·珀西 1 亨利克·皮利加德 1 阿尔贝托,Policriti 1 科拉多·普里亚米 1 大卫·J·派姆。 1 米歇拉·夸迪尼 1 贾·戴维德·奎塞尔 1 罗伊斯,伯恩哈德 1 蕾丝·尼尔森,Hanne 1 卡米洛·鲁埃达 1 戴维·桑吉奥吉 1 亚历克斯·K·辛普森。 1 安德烈·斯特罗因斯基 1 Jean-Marc Talbot 1 阿文·费南托(Alwen Fernanto Tiu) 1 克里斯·托夫茨 1 路易斯·马里·特劳努埃兹 1 城市,基督教 1 弗兰克·巴伦西亚。 1 雨果·托雷斯·维埃拉 1 朱尔斯·维拉德 1 伊恩·韦尔曼 1 薛冰田 …还有3位作者 全部的 前5名16篇连载文章中引用 15 理论计算机科学 8 信息与计算 4 信息学报 三 信息处理信件 三 程序设计中的逻辑和代数方法杂志 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 1 计算的形式方面 1 分布式计算 1 计算与决策科学基础 1 函数编程杂志 1 软计算 1 自然计算 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 在4个字段中引用 72 计算机科学(68-XX) 38 数学逻辑和基础(03-XX) 6 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 按年份列出的引文