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

79 Module Checking – Orna Kupferman, Moshe Y. Vardi - 1996
298 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
307 On the Development of Reactive Systems – D Harel, A Pnueli - 1985
1204 The temporal logic of programs – A Pnueli - 1977
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
17 Pushdown module checking – Laura Bozzelli, Aniello Murano, Adriano Peron - 2005
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
244 Sometimes and not never revisited: On branching versus linear time – E A Emerson, J Y Halpern - 1986
8 Enriched µ-calculus module checking – A Ferrante, A Murano
14 Pushdown Module Checking with Imperfect Information – Benjamin Aminof , Axel Legay , Aniello Murano , Olivier Serre , Moshe Y. Vardi - 2012
338 R.: On the synthesis of a reactive module – A Pnueli, Rosner - 1989
39 Alternating Tree Automata, Parity Games, and Modal µ-Calculus – Thomas Wilke - 2000
19 3# ISO#IEC 13818-2 MPEG-2. Information technology - generic coding of moving pictures and associated audio information: video – Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshey. Vardi - 2006
7 Enriched µ–calculus pushdown module checking – Ro Ferrante, Aniello Murano, Mimmo Parente - 2007
106 Specification and verification of concurrent systems – J Queille, J Sifakis - 1982
271 Model Checking and Modular Verification – Orna Grumberg, David E. Long - 1991
1107 Temporal and modal logic – E. Allen Emerson - 1995