Resource-Constrained Model Checking of Recursive Programs
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 236-250
- https://doi.org/10.1007/3-540-46002-0_17
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- A BDD-Based Model Checker for Recursive ProgramsPublished by Springer Nature ,2001
- Analysis of Recursive State MachinesPublished by Springer Nature ,2001
- Model Checking of Unrestricted Hierarchical State MachinesPublished by Springer Nature ,2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsPublished by Springer Nature ,2000
- Efficient Algorithms for Model Checking Pushdown SystemsPublished by Springer Nature ,2000
- On-the-fly Verification of Linear Temporal LogicPublished by Springer Nature ,1999
- Model checking the full modal mu-calculus for infinite sequential processesPublished by Springer Nature ,1997
- Reachability analysis of pushdown automata: Application to model-checkingPublished by Springer Nature ,1997
- Tabled evaluation with delaying for general logic programsJournal of the ACM, 1996