旋转

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


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

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

1 2 ... 34 35 36 下一个

  1. 干臣,西尔文;德尔扎诺,乔治;Ferrando,Angelo:通过隔间模型检查器对分布式协议的声明性参数化验证(2021)
  2. Hesselink,Wim H.:统一与Büchi自动机(2021)
  3. Reed Oei,Dun Ma,Christian Schulz,Philipp Hieronymi:Pecan:使用Büchi自动机的自动序列定理证明器(2021)阿尔十四
  4. 瓦尔马里安提;沃格勒,沃尔特:顽固的设置,冻结的行动,公平的测试(2021)
  5. 巴雷西,L。;贝尔萨尼,医学硕士。;马可尼,F。;夸特罗奇,G。;Rossi,M.:使用形式验证来评估Spark应用程序的执行时间(2020年)
  6. 布拉胡德,弗兰蒂舍克;少校,朱拉杰;Strejček,一月:LTL到具有通用接受和返回的自循环交替自动机(2020年)
  7. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  8. 迪莫夫斯基,亚历山达S。;勒盖,阿克塞尔;Wasowski,Andrzej:基于游戏的CTL提升模型检查的广义抽象精化(2020)
  9. 贾比尔,穆罕默德;法尔肯,伊莉丝;阿蒂,保罗;哈利勒,阿巴斯;哈拉尔,雷恩;El Hokayem,Antoine:从全球编排到可验证的高效分布式实现(2020)
  10. 克鲁兹,马吕斯;马胡拉,克里斯蒂安:基于LTL规范和Petri网模型的机器人团队路径规划(2020)
  11. 阿依达拉合伊;哈默勒,拉扎尔;格雷特,穆罕默德;el Ayeb,Béchir:基于事件B的云复合服务验证方法(2020)
  12. 陆、徐;段振华;田聪;杜宏伟:通过统一模型检查验证堆(2020)
  13. 舒欣丰;张楠;王小兵;赵亮:命题投影时序逻辑的有效决策过程(2020)
  14. 史密斯,格雷姆;冬天,克尔斯滕;科尔文,罗伯特J.:硬件弱内存模型的线性化(2020)
  15. 王蒙;田聪;张楠;段振华;姚晨光:将Xd-C程序转换为MSVL程序(2020)
  16. 波扎诺,马可;亚历山德罗·西马蒂;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  17. 雪佛龙,弗洛伦特;休罗,奥丽;Quéinnec,Philippe:用于验证多功能分布式系统的模块化框架(2019)
  18. 克莱门特,洛伦佐;Mayr,Richard:不确定性自动机的有效缩减及其在语言包含测试中的应用(2019)
  19. 库珀,詹姆斯;Nicolescu,Radu:图着色问题的P系统解决方案的替代表示(2019)
  20. 迪莫夫斯基,亚历山达S。;布拉布兰德,克劳斯;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)

1 2 ... 34 35 36 下一个


更多出版物请访问:http://spinroot.com/spin/theory.html