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

266 A stubborn attack on state explosion – A Valmari
762 Design and Validation of Computer Protocols – G Holzmann - 1991
191 Combining Partial Order Reductions with On-the-fly Model-checking – Doron Peled - 1994
150 Symbolic Model Checking with Partitioned Transition Relations – J. R. Burch, E. M. Clarke, D. E. Long - 1991
145 Using partial orders to improve automatic verification methods – P Godefroid - 1991
150 All from one, one for all: on model checking using representatives – Doron Peled - 1993
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986
1330 A Calculus of Communicating Systems – R Milner - 1980
155 Stubborn Sets for Reduced State Space Generation – Antti Valmari - 1989
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
247 Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations – David L Dill - 1989
321 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L H Hwang - 1990
1297 Symbolic Model Checking – K L McMillan - 1993
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
113 An Improvement in Formal Verification – Gerard Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled - 1994
93 Symbolic model checking: states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1992
73 Reasoning about infinite computation paths – P Wolper, M Y Vardi, P A Sistla - 1983
298 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999