Complexity Results on Branching-Time Pushdown Model Checking
Abstract elided by the publisher.
Related papers
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems VMCAI 2006
- Software model checking using languages of nested trees TOPLAS 2011
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Analysis of recursive state machines TOPLAS 2005
- Model checking of hierarchical state machines TOPLAS 2001
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011