×

SymDiff公司

swMATH ID: 13093
软件作者: Lahiri,S.、Hawblitzel,C.、Kawaguchi,M.、Rebelo,H。
描述: SymDiff:一个用于命令式程序的与语言无关的语义diff工具。在本文中,我们描述了SymDiff,这是一个与语言无关的工具,用于等价性检查和显示命令式程序的语义(行为)差异。该工具在中间验证语言Boogie上运行,Boogie的翻译来自各种源语言,如C、C#和x86。我们将讨论针对各种源语言的工具和前端接口。最后,我们简要介绍了C程序的前端。
主页: http://rd.springer.com/chapter/10.1007/978-3642-31424-7_54
相关软件: z3(零3);布吉;CBMC公司;电子音量检查;RVT(RVT);简化;达夫尼;AProVE公司;CoVaC公司;胡迪尼;K-Java公司;VCC(沃尔沃汽车公司);TVOC公司;SeaHorn公司;有限责任公司;Coq公司;佩里普洛;焦点;打开SMT2;CESAR公司
引用于: 20文件

按年份列出的引文