Another Look at LTL Model Checking (1994)

Cached

Download Links

by E. Clarke , O. Grumberg , K. Hamaguchi
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:116 - 11 self

Documents Related by Co-Citation

1311 Symbolic Model Checking – K McMillan - 1993
1119 Temporal and modal logic – E. Allen Emerson - 1995
807 Design and synthesis of synchronization skeletons using branching-time temporal logic – E M Clarke, E A Emerson - 1982
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
628 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1520 The Temporal Logic of Reactive and Concurrent Systems: Specification – Z Manna, A Pnueli - 1991
594 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper - 1986