×

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文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文