Module checking revisited (1997)

View PDF

Download Links

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

Active Bibliography

18 An Automata-Theoretic Approach to Modular Model Checking – Orna Kupferman, Moshe Y. Vardi - 1998
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
89 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
20 Relating Linear and Branching Model Checking – O. Kupferman, M. Y. Vardi - 1996
8 Robust Satisfaction – Orna Kupferman, Moshe Y. Vardi - 1999
19 On the Complexity of Branching Modular Model Checking (Extended Abstract) – Orna Kupferman, Moshe Y. Vardi - 1995
477 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
314 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
1177 Temporal and modal logic – E. Allen Emerson - 1995