BtorMC
From MaRDI portal
Software:1353546
No author found.
Source code repository: https://github.com/Boolector/btor2tools
Related Items (3)
Hardware Trojan detection via rewriting logic ⋮ Nullstellensatz-proofs for multiplier verification ⋮ Smt-Switch: a solver-agnostic C++ API for SMT solving
This page was built for software: BtorMC
