Oracle Circuits for Branching-Time Model Checking (2003)

Cached

Download Links

by Ph. Schnoebelen
Venue:In Proc. 30th Int. Coll. Automata, Languages, and Programming (ICALP'2003), volume 2719 of Lect. Notes Comp. Sci
Citations:4 - 0 self

Active Bibliography

32 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
17 An Automata-Theoretic Approach to Modular Model Checking – Orna Kupferman, Moshe Y. Vardi - 1998
3 On model checking durational Kripke structures (Extended abstract) – F. Laroussinie, N. Markey, Ph. Schnoebelen
Tutorial notes on Introduction to Temporal Logics for Specification and Verification – Valentin Goranko - 2009
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 - 2001
Arity hierarchy for temporal logics – Alexander Rabinovich - 2008
18 Past is for free: on the complexity of verifying linear temporal properties with past – Nicolas Markey - 2002
1 Quantified CTL: expressiveness and complexity – François Laroussinie, Nicolas Markey, École Normale, Supérieure Cachan, François Laroussinie, Nicolas Markey, Liafa Université, Paris Diderot - 2013
8 Model Checking on Product Structures – Klaus Schneider - 1998
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
19 Relating Linear and Branching Model Checking – O. Kupferman, M. Y. Vardi - 1996
79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
1 Ameliorating the State Space Explosion Problem – Kedar Sharad Namjoshi, Kedar Sharad Namjoshi - 1998
22 Enhancing Model Checking in Verification by AI Techniques – Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone - 1999