旋转

Spin是一种流行的开源软件工具,全世界成千上万的人都在使用它,它可以用于分布式软件系统的正式验证。这个工具是从1980年开始在计算科学研究中心最初的Unix小组的Bell实验室开发的。自1991年以来,该软件一直免费提供,并继续发展,以跟上该领域的新发展。2002年4月,该工具被ACM授予2001年著名的系统软件奖


zbMATH中的参考文献(引用于,1标准件)

显示699个结果中的1到20个。
按年份排序(引用)

1 2 ... 33 34 35 下一个

  1. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  2. Kloetzer,Marius;Mahulea,Cristian:基于LTL规范和Petri网模型的机器人团队路径规划(2020)
  3. 卢旭;段振华;田聪;杜宏伟:通过统一模型检查验证堆(2020)
  4. 王蒙,田,丛,张,南,段,振华,姚晨光:将Xd-C程序翻译成MSVL程序(2020)
  5. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  6. 弗罗雷克公司(Philip Hurrie,2019年版)模块化验证系统(Florrie Hurrie,2019年版;适用于Chevrea的分布式系统)
  7. Clemente,Lorenzo;Mayr,Richard:非确定性自动机的有效约简及其在语言包含测试中的应用(2019)
  8. Cooper,James;Nicolescu,Radu:图着色问题的P系统解决方案的替代表示(2019)
  9. Dimovski,Aleksandar S.;Brabrand,Claus;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  10. 何希明;瓦克宁,若尔;沃雷尔,詹姆斯:论度量时态逻辑的表达与监控(2019)
  11. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  12. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)
  13. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  14. Shin,Seung-Woo;Thachuk,Chris;Winfree,Erik:验证化学反应网络实现:路径分解方法(2019)
  15. van Glabbeek,Rob:《确保分布式系统的活跃性:开放问题》(2019)
  16. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  17. 赵亮;王晓兵;段振华:投影时序逻辑下推系统的模型检验(2019)
  18. Alur,Rajeev;Bouajjani,Ahmed;Esparza,Javier:模型检查程序程序(2018)
  19. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  20. Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018)

1 2 ... 33 34 35 下一个


更多出版物请访问:spin理论http://spin.com/spin