Model Checking and Modular Verification (1991)

Cached

Download Links

by Orna Grumberg , David E. Long
Venue:ACM Transactions on Programming Languages and Systems
Citations:271 - 11 self

Documents Related by Co-Citation

413 Computer-Aided Verification of Coordinating Processes – R P Kurshan - 1994
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1297 Symbolic Model Checking – K L McMillan - 1993
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
574 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
799 E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, Emerson - 1982
540 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
704 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
69 A compositional rule for hardware design refinement – K L McMillan - 1997
502 Symbolic Model Checking: An Approach to the State-Explosion Problem – K L McMillan - 1993
321 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L H Hwang - 1990
276 Reactive Modules – Rajeev Alur , Thomas A. Henzinger - 1996
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
11 Property-preserving simulations – S Bensalem, A Bouajjani, C Loiseaux, J Sifakis - 1992
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1975 A theory of timed automata – Rajeev Alur - 1999
233 Checking that finite state concurrent programs satisfy their linear specification – O Lichtenstein, A Pnueli - 1985
249 Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL – Dennis Dams, Orna Grumberg, Rob Gerth - 1994
59 Verifying temporal properties of sequential machines without building their state diagrams – O Coudert, J C Madre, C Berthet - 1991