旋转

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


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

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

1 2 ... 34 35 36 下一个

  1. Baresi,L.;Bersani,M.M.;Marconi,F.;Quattrocchi,G.;Rossi,M.:使用正式验证评估Spark应用程序的执行时间(2020年)
  2. Blahoudek,František;Major,Juraj;Strejček,Jan:LTL到具有通用接受和返回的自循环交替自动机(2020年)
  3. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  4. Dimovski,Aleksandar S.;Legay,Axel;Wasowski,Andrzej:基于游戏的CTL提升模型检查的广义抽象精化(2020)
  5. Jaber,Mohamad;Falcone,Yliès;Attie,Paul;Khalil,Al Abbass;Hallal,Rayan;El Hokayem,Antoine:从全球编排到可验证的高效分布式实现(2020)
  6. Kloetzer,Marius;Mahulea,Cristian:基于LTL规范和Petri网模型的机器人团队路径规划(2020)
  7. 卢旭;段振华;田聪;杜宏伟:通过统一模型检查验证堆(2020)
  8. 舒新峰;张楠;王晓兵;赵亮:命题投影时序逻辑的有效决策过程(2020)
  9. Smith,Graeme;Winter,Kirsten;Colvin,Robert J.:硬件弱内存模型的线性化(2020)
  10. 王蒙,田,丛,张,南,段,振华,姚晨光:将Xd-C程序翻译成MSVL程序(2020)
  11. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  12. Chevrou,Florent;Hurault,Aurélie;Quéinnec,Philippe:用于验证多功能分布式系统的模块化框架(2019)
  13. Richard Clezo自动机与非确定性语言的还原(Richard Clezo,Ministentic Automaterial testing,2019)
  14. Cooper,James;Nicolescu,Radu:图着色问题的P系统解决方案的替代表示(2019)
  15. Dimovski,Aleksandar S.;Brabrand,Claus;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  16. 何希明;瓦克宁,若尔;沃雷尔,詹姆斯:论度量时态逻辑的表达与监控(2019)
  17. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  18. Kölbl,Martin;Leue,Stefan:因果关系检查中计算因果跟踪集的有效算法(2019)
  19. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019)
  20. 李永明;雷立辉;李三江:基于多值可能性测度的计算树逻辑模型检验(2019)

1 2 ... 34 35 36 下一个


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