符号差分

SymDiff:一个与语言无关的用于命令式程序的语义差异工具。在本文中,我们描述了SymDiff,一个语言无关的工具,用于等价性检查和显示命令式程序的语义(行为)差异。该工具在中间验证语言Boogie上运行,对于Boogie,存在各种源语言(如C、C#和x86)的翻译。我们讨论了针对不同源语言的工具和前端接口。最后,我们简要介绍了C程序的前端。


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

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

  1. Bouajjani,Ahmed;Enea,Constantin;Lahiri,Shuvendu K.:演化并发程序的抽象语义差异(2019)
  2. He,Shaobo;Lahiri,Shuvendu K.;Rakamarić,Zvonimir:验证程序近似的相对安全性、准确性和终止性(2018年)
  3. Kiefer,Moritz;Klebanov,Vladimir;Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018)
  4. Klebanov,Vladimir;Rümmer,Philipp;Ulbrich,Mattias:通过谓词抽象实现指针程序的自动回归验证(2018)
  5. Murawski,Andrzej S.;Tzevelekos,Nikos:完整地面参考的算法游戏(2018)
  6. D'Argenio,Pedro R;Barthe,Gilles;Biewer,Sebastian;Finkbeiner,Bernd;Hermanns,Holger:你的软件有毒品吗?对秘密“强化”计划的正式分析(2017年)
  7. Fuhs,Carsten;Kop,Cynthia;Nishida,Naoki:通过限制重写诱导验证程序程序(2017)
  8. Wood,Tim;Drossopolou,Sophia;Lahiri,Shuvendu K.;Eisenbach,Susan:存在内存分配时的程序等价性模块验证(2017)
  9. Barthe,Gilles;Crespo,Juan Manuel;Kunz,César:产品程序和关系程序逻辑(2016)
  10. Ciob–că,Ştefan;Lucanu,Dorel;Rusu,Vlad;Roşu,Grigore:完全程序等价性的独立语言证明系统(2016)
  11. Strichman,Ofer;Veitsman,Maor:非平衡递归函数的回归验证(2016)
  12. Lucanu,Dorel;Rusu,Vlad:循环推理的程序等价性(2015)
  13. Fedyukovich,Grigory;Sery,Ondrej;Sharygina,Natasha:eVolCheck:C的增量升级检查器(2013)
  14. Hawblitzel,Chris;Kawaguchi,Ming;Lahiri,Shuvendu K.;Rebèlo,Henrique:走向使用自动定理证明程序的模块化比较(2013)
  15. 比约纳,尼古拉:《用Z3将满意度提升到下一个层次》(摘要)(2012)
  16. Lahiri,Shuvendu K.;Hawblitzel,Chris;Kawaguchi,Ming;Rebèlo,Henrique:SYMDIFF:命令式程序的不可知语义差异工具(2012)ioport公司