BtorMC

swMATH41586MaRDI QIDQ1353546FDOQ1353546

Author name not available (Why is that?)

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)

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

This page was built for software: BtorMC