Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems
Abstract elided by the publisher.
Related papers
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- Software model checking using languages of nested trees TOPLAS 2011
- A fixpoint calculus for local and global program flows POPL 2006
- Analysis of recursive state machines TOPLAS 2005
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- Faster Statistical Model Checking for Unbounded Temporal Properties TACAS 2016
- Compositional Model Checking for Linear-Time Temporal Logic CAV 1992