Automatic Inference of Necessary Preconditions
No abstract available.
Related papers
- Data-driven precondition inference with learned features PLDI 2016
- Necessary and Sufficient Preconditions via Eager Abstraction APLAS 2014
- Weakest Precondition Inference for Non-Deterministic Linear Array Programs TACAS 2024
- Inferring Interval-Valued Floating-Point Preconditions TACAS 2022
- Counterexample-Guided Precondition Inference ESOP 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
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024