因夫根

InvGen:一个高效的不变生成器。本文介绍了一种用于命令式程序的自动线性算术不变生成器InvGen。InvGen的独特之处在于它使用了动态分析,使不变的生成数量级更加高效。


zbMATH参考文献(15篇文章引用)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. Daniel Neider;Madhusudan,P.;Saha,Shambwaditya;Garg,Pranav;Park,Daejun:基于学习的不完全验证引擎不变量合成方法(2020)
  2. Gleiss,Bernhard;Kovács,Laura;Robilard,Simon:迭代过程中的量化循环分析(2018)
  3. Kafle,Bishoksan;Gallagher,John P.;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:使用约束Horn子句进行前提推断的迭代方法(2018)
  4. Kafle,Bishoksan;Gallagher,John P.:凸多面体抽象的Horn子句验证和基于树自动机的精化(2017)
  5. Cimatti,Alessandro;Griggio,Alberto;Mover,Sergio;Tonetta,Stefano:用IC3和谓词抽象进行无限状态不变检查(2016)
  6. 沃尔夫冈·阿伦特(Ahrendt);劳拉·科瓦茨(Kovács);西蒙·罗比拉德(Robilard),西蒙:《在钥匙里使用吸血鬼的推理》(2015)
  7. Dragan,Ioan;Kovács,Laura:Lingva:使用符号消除生成和证明程序属性(2015)
  8. Sharma,Rahul;Gupta,Saurabh;Hariharan,Bharath;Aiken,Alex;Liang,Percy;Nori,Aditya V.:代数循环不变量的数据驱动方法(2013)
  9. Amato,Gianluca;Parton,Maurizio;Scozzari,Francesca:通过简单成分分析发现不变量(2012)
  10. Neider,Daniel:使用SAT和SMT解算器计算最小分离DFA和正则不变量(2012)
  11. Colón,Michael A.;Sankaranarayanan,Sriram:模板多面体域的泛化(2011)
  12. 高德尔,玛丽克劳德:检查模型,证明程序,和测试系统(2011)ioport公司
  13. Henzinger,Thomas A.;Hottelier,Thibaud;Kovács,Laura;Rybalchenko,Andrey:阵列的Aligators(工具纸)(2010)
  14. Jung,Yungbum;Kong,Soonho;Wang,Bow Yaw;Yi,Guangkeun:通过算法学习、决策过程和谓词抽象推导不变量(2010)
  15. Gupta,Ashutosh;Rybalchenko,Andrey:InvGen:一个有效的不变生成器(2009)ioport公司