Pushdown Processes: Games and Model Checking
Abstract elided by the publisher.
Related papers
- Secure Programming via Visibly Pushdown Safety Games CAV 2012
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Model Checking Dynamic Pushdown Networks APLAS 2013
- Improving Pushdown System Model Checking CAV 2006
- Pushdown Model Checking for Malware Detection TACAS 2012
- Complexity Results on Branching-Time Pushdown Model Checking VMCAI 2006
- Efficient Algorithms for Model Checking Pushdown Systems CAV 2000
- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems VMCAI 2006