SLMC公司

SLMC:一个根据动态空间逻辑规范检查并发系统的工具。空间逻辑模型检查器是一种用于验证的工具π-针对安全性、活性和结构属性的微积分系统,用空间逻辑表达Caires和Cardelli的并发性。模型检验是软件系统时间特性检验中应用最广泛的技术之一。然而,当分析集中在与资源使用、位置、干扰、移动性或拓扑相关的属性时,对空间属性和结构动力学进行推理是至关重要的。SLMC是目前唯一可用的工具,它支持对系统的行为和空间属性进行组合分析。这个用OCAML编写的实现是成熟和健壮的,可以在开源环境中使用,并且优于其他在中建模的验证系统的工具π-微积分。


zbMATH中的参考文献(参考文献71篇文章,1标准件)

显示第1到第20个结果,共71个。
按年份排序(引用)
  1. Hüttel,Hans:在(\pi)-微积分中使用会话类型来推理有界性(2020)
  2. 法伦堡,乌利;Křet公司ínsk公司ý, 简;勒盖,阿克塞尔;Traonouez,Louis Marie:定量规范的组成(2018)
  3. Gorrieri,Roberto:有限状态机的验证:分布式方法(2018)
  4. 古兹曼,米歇尔;哈尔,斯特凡;鲈鱼,沙柳;鲁达,卡米洛;Valencia,Frank D.:空间和挤压代数中的信仰、知识、谎言和其他话语(2017)
  5. 奥拉特,C。;恰鲁吉,D。;法拉希,M。;Hermith,D.:生化系统时空依赖性的证明理论观点(2016)
  6. 戴维德,恰鲁吉;法拉希,莫雷诺;赫米思,戴安娜;奥拉特,卡洛斯:生物化学系统中时空模式的验证(2015)
  7. 达里乌斯,德沃尼科夫斯基;斯特罗ń安德泽斯基;布热齐ńJerzy,ski:走向REST的过程微积分:当前艺术状态(2015)
  8. 拉森,金G。;马尔代尔,拉杜;薛炳添:并行加权逻辑(2015)
  9. 阿乔,露西亚;Boreale,Michele:通过行为类型决定无限状态pi演算的安全性(2012)
  10. 裴京民;梅斯盖尔,乔斯é: 基于重写的线性时序重写逻辑模型检验器(2012)
  11. 凯尔斯,卢ís;Vieira,Hugo Torres:SLMC:根据动态空间逻辑规范对并发系统进行模型检查的工具(2012)ioport公司
  12. 弗拉纳根,科马克(编辑);Kö尼格,芭芭拉(编辑):系统构造和分析的工具和算法。第18届国际会议,TACAS 2012,作为欧洲软件理论与实践联合会议的一部分,2012年3月24日至4月1日,爱沙尼亚塔林,2012年ETAPS。诉讼(2012年)
  13. 加杜奇,法比奥;Monreale,Giacoma Valentina:移动环境的分散图形实现(2011)
  14. 阿乔,露西亚;Boreale,Michele:pi演算中的空间和行为类型(2010)
  15. 阿乔,露西亚;博莱尔,米歇尔;Zavattaro,Gianluigi:论空间逻辑与行为模拟的关系(2010)
  16. 戈里,罗伯塔;Levi,Francesca:基于抽象解释的生物环境时间特性验证(2010)
  17. 青铜器,É蒂安;Villard,Jules:应用(\pi)-微积分的空间方程逻辑(2010)
  18. 布拉切利,安德里亚;布鲁尼,罗伯托;Iluch Lafuente,Alberto:名称修饰上下文的符号语义(2009)
  19. 布鲁尼,罗伯托;艾尔伯托,拉富恩特;蒙塔纳里,Ugo:用Maude重写层次设计(2009)
  20. 克林,巴特克:结构操作语义学中的双代数方法和模态逻辑(2009)

更多出版物请访问:http://ctp.di.fct.unl.pt/SLMC/bibpage.html