Searching for "Model checking of hierarchical state machines." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Model Checking of Hierarchical State Machines
- …Model Checking of Hierarchical State Machines Rajeev Alur University of Pennsylvania and Bell…
- Cited by 54 (8 self) – Add To MetaCart
-
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
- …, Jansen and Wieringa, is a step towards a framework for model checking hierarchical state machines…
- Cited by 1 (0 self) – Add To MetaCart
-
Model Checking of Statechart Models: Survey and Research Directions. ArXiv Computer Science e-prints
- …, particularly when there is a lot of sharing of states and transitions. While model checking of hierarchical…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 3.
