veriSoft公司

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


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

显示结果1到20,共91个。
按年份排序(引用)
  1. Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018)
  2. 古普塔,奥尔蒂;卡隆,维涅特;卡迪尔,沙兹;图伊利,泰西尔:模型检查并行程序(2018年)
  3. Shi,Jinghao;Lahiri,Shuvendu K.;Chandra,Ranveer;Challen,Geoffrey:不确定性下的无线协议验证(2018)
  4. Abdulla,Parosh Aziz;Aronis,Stavros;Atig,Mohamed Faouzi;Jonsson,Bengt;Leonardson,Carl;Sagonas,Konstantinos:TSO和PSO的无状态模型检查(2017)
  5. Gligoric,Milos;Majumdar,Rupak:模型检查数据库应用(2013)
  6. Köpf,Boris;Rybalchenko,Andrey:定量信息流分析的自动化(2013)
  7. 克里斯汀·肖比(Choppy)、安娜·德多娃(Dedova)、萨米·伊万杰利斯塔(Evangelista)、克拉伊(Klaïs)、劳尔·佩特鲁奇(Petrucci)、萨米尔·尤瑟夫(Youcef),萨米尔:《近地天体议定书的建模和正式验证》(2012年)ioport公司
  8. Cimatti,Alessandro;Narasamdya,Iman;Roveri,Marco:使用显式调度程序和符号线程的软件模型检查(2012)
  9. Morse,Everett;Vrvilo,Nick;Mercer,Eric;McCarthy,Jay:为C程序建模异步消息传递(2012)ioport公司
  10. Cimatti,Alessandro;Narasamdya,Iman;Roveri,Marco:用偏序缩减促进SystemC的惰性抽象(2011)
  11. 高德尔,玛丽克劳德:检查模型,证明程序,和测试系统(2011)ioport公司
  12. Wang,Chao;Kundu,Sudipta;Limaye,Rhishikesh;Ganai,Malay;Gupta,Aarti:并行程序的符号预测分析(2011)
  13. Böhme,Sascha;Moskal,Michał;Schulte,Wolfram;Wolff,Burkhart:HOL-Boogie——验证C编译器的交互式验证程序后端(2010)
  14. Bošnački,Dragan;Edelkamp,Stefan:模型检查软件:关于一些新浪潮和一些常青树(2010)ioport公司
  15. Buss,Marcio;Brand,Daniel;Sreedhar,Vugranam;Edwards,Stephen A.:指针分析的新分析空间及其在缺陷查找中的应用(2010)
  16. Carver,Richard H.;Lei,Yu:用于实现、测试和调试并发程序的类库(2010)ioport公司
  17. Harmanci,Derin;Gramoli,Vincent;Felber,Pascal;Fetzer,Christof:可扩展事务性内存测试床(2010)
  18. Kolchin,A.V.:动态构造形式模型状态抽象的自动方法(2010)
  19. Sutcliffe,Geoff;Benzmüller,Christoph:使用TPTP THF基础设施的高阶逻辑自动推理(2010)
  20. Yang,Yu;Chen,Xiaofang;Gopalakrishnan,Ganesh;Kirby,Robert M.:分布式动态偏序约简(2010)ioport公司