自旋

SIP是一种流行的开源软件工具,被世界上成千上万的人所使用,可用于分布式软件系统的形式化验证。该工具是在1980年初从计算科学研究中心UNIX组的贝尔实验室开发的。自1991以来,该软件已免费提供,并继续发展,以跟上新领域的发展步伐。2002年4月,该工具被ACM授予2001年度享有盛名的系统软件奖。


ZBMaX中的参考文献(687篇)1标准条款

显示结果1至20的687。
按年份排序(引文
  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. 王,孟;田,康镇;张,南;段,Zhenhua;姚,Chenguang:把X-C程序翻译成MSVL程序(2020)
  3. 博扎诺,马珂;CimaTi,Alessandro;MaTaRei,克里斯蒂安:冗余体系结构的形式可靠性分析(2019)
  4. 切夫罗,Florent;Hurault,Aurele;Quei-iNEC,菲利普:验证通用分布式系统的模块化框架(2019)
  5. Clemente,洛伦佐;迈尔,李察:非确定性自动机的有效约简及其在语言包含测试中的应用(2019)
  6. Dimovski,Aleksandar S.;Brabrand,克劳斯;W·SoWSKE,ANDRZJ:寻找提升分析的适当变异抽象(2019)
  7. 何鸿铭、Ouaknine、乔依尔、沃瑞尔、杰姆斯:度量时态逻辑的表现与监控(2019)
  8. 约翰森、克里斯蒂安、沃恩、奥拉夫:动态结构操作语义学(2019)
  9. 李,Jianwen;朱,Shufang;PU,Geguang;张,李军;VADI,Moshe Y.:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)
  10. 保尔森,Lawrence C.;尼普科夫,托拜厄斯;文策尔,Makarius:从LCF到伊莎贝尔/HOL(2019)
  11. R.J.Van GLabBeek,RoB:确保分布式系统的活跃性:开放性问题(2019)
  12. Shin,Seung Woo;THACUK,克里斯;WiFLUE,埃里克:验证化学反应网络实现:路径分解方法(2019)
  13. 王,孟;田,康镇;张,南;段,Zhenhua;杜,红伟:验证安全关键系统调度协议(2019)
  14. 赵,Liang;王,萧冰;段,Zhenhua:投影时序逻辑下推系统的模型检验(2019)
  15. 阿鲁尔,拉杰夫;Bouajjani,艾哈迈德;EsPARZA,哈维尔:模型检查过程程序(2018)
  16. 盆地,戴维,CurMeS,CAS;Meadows,凯瑟琳:模型检验安全协议(2018)
  17. Biere,Armin;Kr Off宁,丹尼尔:基于SAT的模型检验(2018)
  18. Bozzelli,劳拉;S.A.NNCHZ,CIESAR:可见线性时态逻辑(2018)
  19. 布鲁纳,朱利安;Lammich,彼得:可执行LTL模型检验器的部分验证(2018)的形式化验证
  20. 克拉克,Edmund M.;Henzinger,Thomas A.;维斯,赫尔穆特:模型检验导论(2018)

进一步的出版物可以在:HTTP//SPIROROT.COM/SPIN/Trime.HTML