veriSoft公司

VeriSoft通过生成、控制和观察其所有组件的可能执行和交互,自动搜索软件系统中的协调问题(死锁等)和断言冲突。它将自动测试生成、执行和评估集成在一个单独的框架中。VeriSoft包括一个交互式图形模拟器,它可以驱动现有的调试器来精确检查多个进程的并发执行。


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

显示第1到第20个结果,共92个。
按年份排序(引用)
  1. 科蒂,卡米尔;佩特鲁奇,劳尔;罗德里格斯,塞萨尔;Sousa,Marcelo:准最优偏序降阶(2021)
  2. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  3. 古普塔、奥尔蒂;卡隆,维涅特;卡迪尔,沙兹;Touili,Tayssir:模型检查并行程序(2018)
  4. 史景浩;拉希里,Shuvendu K。;钱德拉,兰维尔;Challen,Geoffrey:不确定性下的无线协议验证(2018)
  5. 阿卜杜拉,帕罗什·阿齐兹;阿罗尼斯,斯塔夫罗斯;阿蒂格,Mohamed Faouzi;强森,本特;莱昂纳森,卡尔;Sagonas,Konstantinos:TSO和PSO的无状态模型检查(2017)
  6. 格里戈里奇,米洛斯;Majumdar,Rupak:模型检查数据库应用(2013)
  7. 科普夫,鲍里斯;Rybalchenko,Andrey:定量信息流分析自动化(2013)
  8. 波涛汹涌,克莉丝汀;黛多娃,安娜;福音派,萨米人;克莱,凯斯;佩特鲁奇,劳尔;Youcef,Samir:《近地天体议定书的建模和正式验证》(2012年)ioport公司
  9. 亚历山德罗·西马蒂;那拉萨姆迪亚,伊曼;Roveri,Marco:使用显式调度器和符号线程的软件模型检查(2012)
  10. 莫尔斯,埃弗雷特;维洛,尼克;默瑟,埃里克;McCarthy,Jay:C程序的异步消息传递建模(2012)ioport公司
  11. 亚历山德罗·西马蒂;纳拉萨,纳拉斯曼;Roveri,Marco:用偏序缩减提升SystemC的惰性抽象(2011)
  12. 高德尔,玛丽克劳德:检查模型,证明程序,和测试系统(2011)ioport公司
  13. 王超;昆都、苏迪普塔;利马耶,里希克什;马来语加奈语;Gupta,Aarti:并行程序的符号预测分析(2011)
  14. Böhme,萨沙;莫斯科,米查;舒尔特,沃尔夫拉姆;Wolff,Burkhart:HOL-Boogie——验证C编译器的交互式验证程序后端(2010)
  15. 博纳奇,德拉甘;Edelkamp,Stefan:模型检验软件:关于一些新浪潮和一些常青树(2010)ioport公司
  16. 巴斯,马西奥;布兰德,丹尼尔;斯雷德哈尔,武格拉南;Edwards,Stephen A:指针分析的新分析空间及其在缺陷发现中的应用(2010)
  17. 卡弗,理查德H。;Lei,Yu:用于实现、测试和调试并发程序的类库(2010)ioport公司
  18. 哈曼西,德林;格雷莫利,文森特;费尔伯,帕斯卡;Fetzer,Christof:可扩展事务性内存测试台(2010)
  19. Kolchin,A.V.:动态构造形式模型状态抽象的自动方法(2010)
  20. 萨特克利夫,杰夫;Benzmüller,Christoph:使用TPTP THF基础设施的高阶逻辑自动推理(2010)