Beaver
From MaRDI portal
swMATH71MaRDI QIDQ12843FDOQ12843
Author name not available (Why is that?)
Official website: http://uclid.eecs.berkeley.edu/jha/beaver-dist/beaver.html
Cited In (13)
- An alternative to SAT-based approaches for bit-vectors
- Synthesis of domain specific CNF encoders for bit-vector solvers
- Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition
- WoLFram
- MathSAT
- STEWord
- Satisfiability modulo theories
- Simulating circuit-level simplifications on CNF
- MedleySolver
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
- An SMT-based discovery algorithm for C-nets
- MedleySolver: online SMT algorithm selection
- Symbolic trajectory evaluation for word-level verification: theory and implementation
This page was built for software: Beaver
