Efficient Local Correctness Checking
Abstract elided by the publisher.
Related papers
- Checking and inferring local non-aliasing PLDI 2003
- Kater: Automating Weak Memory Model Metatheory and Consistency Checking POPL 2023
- Total Correctness by Local Improvement in Program Transformation POPL 1995
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- Total Correctness by Local Improvement in the Transformation of Functional Programs TOPLAS 1996
- Disjunctive normal forms and local exceptions ICFP 2003
- QSOLE: Automatic QBF Equivalence Checking TACAS 2026
- The Top-Down Solver Verified: Building Confidence in Static Analyzers CAV 2024