弗兰肯比特 swMATH ID: 25253 软件作者： Gurfinkel，A.，Belov，A。 描述： Gurfinkel，A.，Belov，A.：FrankenBit：使用多个位进行位精度验证。位精度软件验证是一个重要而困难的问题。虽然SAT求解已经取得了惊人的进展，但比特向量的可满足模理论和比特精确有界模型检查，证明比特精确安全性，即合成安全的归纳不变量，仍然是一个挑战。在本文中，我们介绍了FrankenBit，它是一个结合了比特率不变合成和BMC反例搜索的工具。顾名思义，FrankenBit结合了大量现有的验证工具和技术，包括LLBMC、UFO、Z3、Boolector、MiniSAT和STP。 主页： https://link.springer.com/chapter/10.1007/978-3-642-54862-8_32 相关软件： CBMC公司；SLAM公司；AProVE公司；CEGAR公司；终极Kojak；密苏里州立大学化学当量；共生2；C外国人；雅克斯塔布；懒惰的CSeq；阿斯特里；卫星抗体；猎户座；螺纹加工工；CPA检查器；捕食者；命令序列；欧兹；爆炸；萨特齐拉 引用于： 2文件 全部的 前5名7位作者引用 1 德克·拜尔 1 尤利娅·德米扬诺娃 1 苏米特·古尔瓦尼 1 托马斯·帕尼 1 戴维·施密特（David A.Schmidt）。 1 赫尔穆特·维思 1 弗洛里安·祖勒格 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文