Numeric Bounds Analysis with Conflict-Driven Learning
Abstract elided by the publisher.
Related papers
- Abstract conflict driven learning POPL 2013
- Program synthesis using conflict-driven learning PLDI 2018
- Learning fast and precise numerical analysis PLDI 2020
- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes CAV 2022
- Proofs in conflict-driven theory combination CPP 2018
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- Conflict-Driven Synthesis for Layout Engines PLDI 2023