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
297 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
306 On the development of reactive systems – David Harel, Amir Pnueli - 1985
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
242 sometimes” and “not never” revisited: On branching versus linear time – E A Emerson, J Y Halpern - 1983
1194 The temporal logic of programs – A Pnueli - 1977
17 Pushdown module checking – Laura Bozzelli, Aniello Murano, Adriano Peron - 2005
444 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
792 Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, E A Emerson - 1981
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
271 Model Checking and Modular Verification – Orna Grumberg, David E. Long - 1991
333 On the synthesis of a reactive module – A Pnueli, R Rosner - 1989
30 Design and verification of synchronization skeletons using branching time temporal logic – E M Clarke, E A Emerson - 1981
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
256 Results on the propositional mu–calculus – D Kozen - 1983
156 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran - 1998