Compositional Model Checking with Incremental Counter-Example Construction
Abstract elided by the publisher.
Related papers
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs TACAS 2001
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995
- Software Model Checking via Summary-Guided Search OOPSLA 2025
- Reasoning about monotonicity in separation logic CPP 2021
- Automating grammar comparison OOPSLA 2015
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata CAV 2013
- iCoLa: A Compositional Meta-language with Support for Incremental Language Development SLE 2022