|
22
|
The Complexity of Temporal Logic Model Checking
– Philippe Schnoebelen
- 2002
|
|
|
BTL2 and the expressive power of ECTL+
– Alexander Rabinovich , Philippe Schnoebelen
- 2006
|
|
4
|
Efficient timed model checking for discrete-time systems
– F. Laroussinie, N. Markey, Ph. Schnoebelen
- 2006
|
|
13
|
An Automata-Theoretic Approach to Modular Model Checking
– Orna Kupferman, Moshe Y. Vardi
- 1998
|
|
2
|
On model checking durational Kripke structures (Extended abstract)
– F. Laroussinie, N. Markey, Ph. Schnoebelen
|
|
|
BTL2 and expressive completeness for ECTL+
– A. Rabinovich, Ph. Schnoebelen
- 2000
|
|
|
Multi Dimensional CTL and Stratified Datalog
– Theodore Andronikos, Vassia Pavlaki
|
|
5
|
Alternating automata: Checking truth and validity for temporal logics
– Moshe Y. Vardi
- 1997
|
|
1
|
Search Techniques and Automata for Symbolic Model Checking
– Roderick P. Bloem, Written Roderick P. Bloem, Fabio Somenzi, Orna Kupferman
- 2001
|
|
|
Arity hierarchy for temporal logics
– Alexander Rabinovich
- 2008
|
|
16
|
Past is for free: on the complexity of verifying linear temporal properties with past
– Nicolas Markey
- 2002
|
|
8
|
Model Checking on Product Structures
– Klaus Schneider
- 1998
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
61
|
Module Checking
– Orna Kupferman, Moshe Y. Vardi
- 1996
|
|
16
|
Relating Linear and Branching Model Checking
– O. Kupferman, M. Y. Vardi
- 1996
|
|
1
|
Ameliorating the State Space Explosion Problem
– Kedar Sharad Namjoshi, Kedar Sharad Namjoshi
- 1998
|
|
1
|
Model Checking CTL is Almost Always Inherently Sequential
– Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider
|
|
15
|
Enhancing Model Checking in Verification by AI Techniques
– Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
- 1999
|
|
18
|
Alternating Automata and Program Verification
– Moshe Y. Vardi
- 1995
|
