BtorMC

MaRDI QIDQ1353546swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-96145-3_32

Source code repository https://github.com/Boolector/btor2tools

Cited in

(23)

• Hardware Trojan detection via rewriting logic
• Boolector
• Bison
• Kind 2
• AIGER
• petBoss
• Flex
• Yosys
• PolyCleaner
• RevSCA
• Nusschecker
• AMulet
• Bosphorus
• CoSA
• lazybv2int
• metaSMT
• Pono
• SBV
• SMT Kit
• Smt-Switch
• Nullstellensatz-proofs for multiplier verification
• Smt-Switch: a solver-agnostic C++ API for SMT solving
• Pacheck

This page was built for software: BtorMC