CVC4
Abstract elided by the publisher.
Related papers
- cvc5: A Versatile and Industrial-Strength SMT Solver TACAS 2022
- Generative type-aware mutation for testing SMT solvers OOPSLA 2021
- On the unusual effectiveness of type-aware operator mutations for testing SMT solvers OOPSLA 2020
- StringFuzz: A Fuzzer for String Solvers CAV 2018
- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length CAV 2021
- Building Better Bit-Blasting for Floating-Point Problems TACAS 2019
- Invertibility Conditions for Floating-Point Formulas CAV 2019
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021