Counterexample-Guided Precondition Inference
No abstract available.
Related papers
- Counterexample-Guided Inference of Modular Specifications OOPSLA 2025
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Counterexample-guided focus POPL 2010
- Dependent types from counterexamples POPL 2010
- Race checking by context inference PLDI 2004
- Automatic Inference of Necessary Preconditions VMCAI 2013
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections VMCAI 2011
- Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM PLDI 2017