Module checking revisited (1997)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Venue:In Proc. 9th CAV, LNCS 1254
Citations:30 - 6 self

Active Bibliography

17 An Automata-Theoretic Approach to Modular Model Checking – Orna Kupferman, Moshe Y. Vardi - 1998
19 Relating Linear and Branching Model Checking – O. Kupferman, M. Y. Vardi - 1996
6 Robust Satisfaction – Orna Kupferman, Moshe Y. Vardi - 1999
79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
19 On the Complexity of Branching Modular Model Checking (Extended Abstract) – Orna Kupferman, Moshe Y. Vardi - 1995
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
2 Model Checking for Database Theoreticians – Moshe Y. Vardi - 2005
33 An automata-theoretic approach to reasoning about infinite-state systems – Orna Kupferman, Moshe Y. Vardi - 2000
298 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
22 Alternating Automata and Program Verification – Moshe Y. Vardi - 1995
5 Alternating automata: Checking truth and validity for temporal logics – Moshe Y. Vardi - 1997
3 Freedom, Weakness, and Determinism: From Linear-time to Branching-time – Orna Kupferman, Moshe Y. Vardi - 1998
60 Vacuity Detection in Temporal Model Checking – Orna Kupferman, Moshe Y. Vardi - 1999
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
under Partial Information – Bernd Puchala
49 Fair Simulation – Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani - 1997
17 Pushdown module checking – Laura Bozzelli, Aniello Murano, Adriano Peron - 2005
Verification of Open Systems – Orna Kupferman, Moshe Y. Vardi - 2006
101 Model Checking of Safety Properties – Orna Kupferman, Moshe Y. Vardi - 1999