Model checking of macro processes
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 169-181
- https://doi.org/10.1007/3-540-58179-0_52
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Model checking for context-free processesPublished by Springer Nature ,2006
- The complexity of verifying functional programsPublished by Springer Nature ,1993
- Model checking and boolean graphsPublished by Springer Nature ,1992
- Verifying Temporal Properties of SystemsPublished by Springer Nature ,1992
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- Reasoning about procedures as parameters in the language L4Information and Computation, 1989
- An automata-theoretical characterization of the OI-hierarchyInformation and Control, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The IO- and OI-hierarchiesTheoretical Computer Science, 1982
- Grammars with macro-like productionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1968