维瑞索

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


ZBMaX中的参考文献(90篇)1标准条款

显示结果1至20的90。
按年份排序(引文
  1. GooFoulID,帕特利斯;Sen,KouSek:结合模型检验和测试(2018)
  2. Gupta,Aarti;卡隆,VIENET;QADEER,Shaz;Touili,Tayssir:并发程序模型检验(2018)
  3. 施,Jinghao;拉希里,Shuvendu K.;钱德拉,RANVER;查伦,杰弗里:不确定条件下的无线协议验证(2018)
  4. Abdulla,Parosh Aziz;Aronis,斯塔夫罗斯;阿蒂格,Mohamed Faouzi;Jonsson,Bengt;Leonardsson,卡尔;Sangasas,康斯坦丁诺斯:TSO和PSO的无状态模型检验(2017)
  5. Gligoric,米洛斯;Majumdar,RuPAK:数据库应用模型检查(2013)
  6. K·PF,鲍里斯;里巴尔琴科,安德烈:定量信息流分析的自动化(2013)
  7. 波涛汹涌,克丽斯廷;Dedova,安娜;伊万杰里斯塔,安德烈·萨米;克拉拉,卡伊斯;佩特鲁西,劳莱;Youcef,萨米尔:新协议的建模和形式验证(2012)伊波尔特
  8. CimaTi,Alessandro;NaasaMydia,伊曼;Roveri,马珂:具有显式调度和符号线程的软件模型检查(2012)
  9. Morse,埃弗雷特;Vrvilo,Nick;默瑟,埃里克;麦卡锡,杰伊:C程序异步消息传递模型(2012)伊波尔特
  10. CimaTi,Alessandro;NaasaMydia,伊曼;Roveri,马珂:SystemC的懒惰抽象抽取:偏序约简(2011)
  11. GuDEL,Marie Claude:检查模型、验证程序和测试系统(2011)伊波尔特
  12. 王,Chao;Kundu,Sudipta;Limaye,Risikkh;GaaaI,马来语;Gupta,AATI:并行程序的符号预测分析(2011)
  13. B·HME,Sascha;Maskar,米莎,Sulult,WulfRAM;沃尔夫,Burkhart:HOO-BooGee——一个用于验证C编译器的交互式证明器后端(2010)
  14. 博纳基,德拉甘;埃德尔坎普,斯特凡:模型检查软件:关于一些新浪潮和一些常青树(2010)伊波尔特
  15. BUS,Marcio;Brand,丹尼尔;Sreedhar,Vugranam;爱德华兹,Stephen A.:一种新的指针分析空间及其在Bobug发现中的应用(2010)
  16. CARVER,Richard H.;Lee,Yu:实现、测试和调试并发程序的类库(2010)伊波尔特
  17. Harmanci,Derin;Gramoli,Vincent;费尔伯,Pascal;费泽尔,克里斯托夫:可扩展事务记忆试验台(2010)
  18. 科尔钦,A. V.:一种形式化模型状态抽象的自动构造方法(2010)
  19. Sutcliffe,杰夫;Bangmül勒,克里斯托夫:利用TPTP THF基础设施在高阶逻辑中的自动推理(2010)
  20. 杨,于;陈,萧芳;GopalakrasHnman,GANSH;Kirby,Robert M.:分布式动态偏序约简(2010)伊波尔特