A Partial Approach to Model Checking (1994)

Cached

Download Links

by Patrice Godefroid , Pierre Wolper
Venue:INFORMATION AND COMPUTATION
Citations:113 - 5 self

Documents Related by Co-Citation

264 A stubborn attack on state explosion – A Valmari - 1990
768 Design and Validation of Computer Protocols – G J Holzmann - 1991
190 Combining Partial Order Reductions with On-the-fly Model-checking – Doron Peled - 1994
154 Symbolic Model Checking with Partitioned Transition Relations – J. R. Burch, E. M. Clarke, D. E. Long - 1991
146 Using partial orders to improve automatic verification methods – P Godefroid - 1990
152 All from one, one for all: on model checking using representatives – Doron Peled - 1993
586 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper
1332 A Calculus of Communicating Systems – R Milner - 1980
156 Stubborn Sets for Reduced State Space Generation – Antti Valmari - 1989
1505 The temporal logic of reactive and concurrent systems – Zohar Manna, Amir Pnueli - 1992
247 Trace theory for automatic hierarchical verification of speed-independent circuits – D L Dill - 1989
323 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1990
1298 Symbolic Model Checking – K L McMillan - 1993
1183 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
114 An Improvement in Formal Verification – Gerard Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled - 1994
93 Symbolic model checking: states and beyond – J Burch, E Clarke, D Dill, L Hwang, K McMillan - 1990
73 Reasoning about infinite computation paths – P Wolper, M Y Vardi, A P Sistla - 1983
300 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999