parSAT: Parallel Solving of Floating-Point Satisfiability

Markus Krahl, Matthias Güdemann, Stefan Wallentowitz

Satisfiability-based verification techniques, leveraging modern Boolean satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, have demonstrated efficacy in address…