×

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位作者

按年份列出的引文