Btor2工具 swMATH ID: 41664 软件作者: Aina Niemetz、Mathias Preiner、Clifford Wolf、Armin Biere 描述: Btor2Tools包为BTOR2格式提供了通用解析器和工具。有关BTOR2格式的更详细描述,请参阅BTOR2、BtorMC和Boolector 3.0。Aina Niemetz、Mathias Preiner、Clifford Wolf和Armin Biere。2018年CAV。 主页: https://link.springer.com/chapter/10.1007/978-3-319-96145-3_32 源代码: https://github.com/Boolector/btor2工具 相关软件: 谷歌测试;尤瑟斯;z3(零3);常春藤;CoSA公司;验证2SMV;自旋蛋白;Mcmt公司;PySMT公司;萨利;数学SAT5;NuSMV公司;第2类;努Xmv;基础知识;黑加仑;赛马拉松;CVC4型;SMT-LIB公司;助推器 引用于: 1文件 2位作者引用 1 阿明·比尔 1 丹尼尔·考夫曼 0连载引用 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文