Module checking revisited (1997)

Cached

Download Links

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

Documents Related by Co-Citation

80 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
3410 Communicating Sequential Processes – C. A. R. Hoare - 1985
795 The design and synthesis of synchronization skeletons using temporal logic – E M Clarke, E A Emerson - 1981
307 A.: On the development of reactive systems – D Harel, Pnueli - 1989
1214 The temporal logic of programs – A Pnueli - 1977
299 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
247 Sometimes” and “not never” revisited: On branching versus linear time – E A Emerson, J Y Halpern - 1983