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文件 全部的 前5名51位作者引用 4 Shuvendu Kumar拉希里 3 多雷尔·卢卡努 2 吉尔·巴特 2 瑟·特凡·乔巴赫 2 格里戈里·费尤科维奇 2 弗拉基米尔·克莱巴诺夫 2 弗拉德·鲁苏 2 娜塔莎·莎莉吉娜 2 马蒂亚斯·乌尔布里奇 1 穆拉德·阿洪多夫 1 塞皮德·阿萨迪 1 塞巴斯蒂安·比沃 1 尼古拉·S·比约纳。 1 马丁·布利查 1 艾哈迈德·博阿贾尼 1 安德烈·塞巴斯蒂安·布鲁安 1 Chechik,玛莎 1 克雷斯波、胡安·曼努埃尔 1 佩德罗·鲁宾·达吉尼奥 1 索菲亚·德罗索波洛 1 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 康斯坦丁·埃纳 1 尼克·冯 1 伯恩德·芬克贝纳 1 卡斯滕·福斯 1 克里斯·霍布利泽尔 1 何绍波 1 霍尔格·赫尔曼斯 1 Hui,Vincent W.H。 1 安蒂·E·J·海瓦·里宁。 1 川口,明 1 莫里茨·基弗 1 辛西娅·科普 1 塞萨尔·库茨 1 Severin Meier 1 费德里科·莫拉 1 彼得·米勒 1 Andrzej S.穆拉夫斯基。 1 Kedar S.Namjoshi。 1 直纪西田 1 茨沃尼米尔·拉卡马里奇 1 恩里克·热比洛 1 格里高·罗什乌 1 菲利普·吕默 1 什尔,昂德 1 斯特里赫曼(Ofer Strichman) 1 尼科斯·齐夫列科斯 1 毛尔·维茨曼 1 蒂姆·伍德 1 薛安东 引用于5个系列 4 系统设计中的形式化方法 2 自动推理杂志 2 计算的形式方面 2 程序设计中的逻辑和代数方法杂志 1 ACM计算逻辑事务 在4个字段中引用 20 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文