Analysis of Recursive State Machines (2001)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:In Proceedings of CAV 2001
Citations:111 - 21 self

Documents Related by Co-Citation

292 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997
145 Efficient algorithms for model checking pushdown systems – Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon - 2000
42 Model Checking of Unrestricted Hierarchical State Machines – Michael Benedikt, Patrice Godefroid, Thomas Reps - 2001
220 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
65 Model-Checking LTL with Regular Valuations for Pushdown Systems – Javier Esparza, Antonin Kucera, Stefan Schwoon - 2002
196 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
3843 Introduction to Automata Theory, Languages, and Computation (2nd Edition – R M J E Hopcroft, J Ullman - 2000
78 Model Checking for Context-Free Processes – Olaf Burkart, Bernhard Steffen - 1992
77 Model checking of hierarchical state machines – Rajeev Alur
68 A BDD-based Model Checker for Recursive Programs – Javier Esparza, Stefan Schwoon - 2001
162 M.: The complexity of probabilistic verification – C Courcoubetis, Yannakakis - 1995
136 Pushdown Processes: Games and Model Checking – Igor Walukiewicz - 1996
62 Model Checking Probabilistic Pushdown Automata – Javier Esparza, AntonĂ­n Kucera, Richard Mayr - 2004
132 Some algebraic and geometric computations in PSPACE – J Canny - 1988
37 Model checking the full modal mu-calculus for infinite sequential processes – Olaf Burkart, Bernhard Steffen - 1997
67 Recursive Markov chains, stochastic grammars, and monotone systems of non-linear equations – Kousha Etessami, Mihalis Yannakakis - 2005
47 Model Checking for Probability and Time: From Theory to Practice – Marta Kwiatkowska - 2003
218 Automatic verification of probabilistic concurrent finite-state programs – M Vardi - 1985