Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
No abstract available.
Related papers
- Compositional Model Checking with Incremental Counter-Example Construction CAV 2017
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Regular language type inference with term rewriting ICFP 2020
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- Race checking by context inference PLDI 2004
- Counter-Example Guided Predicate Abstraction of Hybrid Systems TACAS 2003
- Towards Fully Abstract Semantics for Local Variables POPL 1988