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

412 Computer-aided verification of coordinating processes: the automata-theoretic approach – Robert P Kurshan - 1994
620 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1290 Symbolic Model Checking – K L McMillan - 1993
2917 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
571 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
792 Design and synthesis of synchronization skeletons using branching time temporal logic – E M Clarke, E A Emerson - 1981
533 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
702 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
500 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993
322 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1992
273 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
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1964 A theory of timed automata – Rajeev Alur - 1999
233 Checking that finite state concurrent programs satisfy their linear specification – O Lichtenstein, A Pnueli - 1985
247 Abstract interpretation of reactive systems: Abstractions preserving 8CTL , 9CTL and CTL – Dennis Dams, Orna Grumberg, Rob Gerth - 1994
67 J.Sifakis, Specification and verification of concurrent systems – J P Quielle - 1981