Beaver
From MaRDI portal
Software:12843
swMATH71MaRDI QIDQ12843FDOQ12843
Author name not available (Why is that?)
Cited In (9)
- An SMT-Based Discovery Algorithm for C-Nets
- 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
- An Alternative to SAT-Based Approaches for Bit-Vectors
- Simulating circuit-level simplifications on CNF
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
- Satisfiability Modulo Theories
- MedleySolver: online SMT algorithm selection
- Symbolic trajectory evaluation for word-level verification: theory and implementation
This page was built for software: Beaver
