Author:
Faran Rachel,Kupferman Orna
Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science;R Alur,1999
2. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. ACM TOPLAS 23(3), 273–303 (2001)
3. Aminof, B., Kupferman, O., Murano, A.: Improved model checking of hierarchical systems. Inf. Comput. 210, 68–86 (2012)
4. Barrett, C., Jacob, R., Marathe, M.: Formal-language-constrained path problems. SIAM J. Comput. 30(3), 809–837 (2000)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)