An automata-theoretic approach to linear temporal logic (1996)

by Moshe Y. Vardi
Venue:Logics for Concurrency: Structure versus Automata, volume 1043 of Lecture Notes in Computer Science
Citations:217 - 23 self

Active Bibliography

1 Theorem-Proving for Discrete Temporal Logic – Mark Reynolds, Clare Dixon - 1998
39 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
1 Generalized Quantitative Temporal Reasoning – E.A. Emerson, Richard J. Trefler - 1996
19 Relating Linear and Branching Model Checking – O. Kupferman, M. Y. Vardi - 1996
17 An Automata-Theoretic Approach to Modular Model Checking – Orna Kupferman, Moshe Y. Vardi - 1998
4 Open implication – Karin Greimel, Roderick Bloem, Moshe Vardi
250 Reasoning about Infinite Computations – Moshe Y. Vardi, Pierre Wolper - 1994
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1 Tightening the Exchange Rates Between Automata – Orna Kupferman
3 Formal Methods in VLSI System Design – Adnan Aziz - 1996
11 Navigation in Hypertext is Easy Only Sometimes – Mark Levene, George Loizou - 1999
1 Recent Challenges and Ideas in Temporal Synthesis – Orna Kupferman
9 Synthesis from Knowledge-Based Specifications (Extended Abstract) – Ron Van Der Meyden, Moshe Y. Vardi
101 Model Checking of Safety Properties – Orna Kupferman, Moshe Y. Vardi - 1999
2 Model Checking for Database Theoreticians – Moshe Y. Vardi - 2005
32 The Complexity of Temporal Logic Model Checking – Philippe Schnoebelen - 2002
5 Alternating automata: Checking truth and validity for temporal logics – Moshe Y. Vardi - 1997
22 Alternating Automata and Program Verification – Moshe Y. Vardi - 1995