Proof-Like Counter-Examples
No abstract available.
Related papers
- Towards Fully Abstract Semantics for Local Variables POPL 1988
- Compositional Model Checking with Incremental Counter-Example Construction CAV 2017
- Counter-Example Guided Predicate Abstraction of Hybrid Systems TACAS 2003
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs TACAS 2001
- Counter-Example Guided Fence Insertion under TSO TACAS 2012
- A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
- Counter Example Guided Reactive Synthesis for LTL Modulo Theories* CAV 2025
- General Decidability Results for Systems with Continuous Counters POPL 2026