Counterexample-Guided Bit-Precision Selection
Abstract elided by the publisher.
Related papers
- Solving Quantified Bit-Vectors Using Invertibility Conditions CAV 2018
- Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality OOPSLA 2025
- Counterexample-Guided Partial Bounding for Recursive Function Synthesis CAV 2021
- Counterexample-guided focus POPL 2010
- Integrated instruction selection and register allocation for compact code generation exploiting freeform mixing of 16- and 32-bit instructions CGO 2010
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- High performance correctly rounded math libraries for 32-bit floating point representations PLDI 2021
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement CAV 2019