All from one, one for all: on model checking using representatives (1993)

Cached

Download Links

by Doron Peled
Venue:LNCS
Citations:150 - 6 self

Documents Related by Co-Citation

264 A stubborn attack on state explosion – A Valmari - 1990
143 Using partial orders to improve automatic verification methods – P Godefroid - 1991
189 Combining Partial Order Reductions with On-the-fly Model-checking – Doron Peled - 1994
58 Refining dependencies improves partial-order verification methods – P Godefroid, D Pirottin - 1992
1132 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
149 A Semantic Model for Authentication Protocols – Thomas Y. C. Woo, Simon S. Lam - 1993
1290 Symbolic Model Checking – K L McMillan - 1993
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
288 Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem – Patrice Godefroid - 1995
1043 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
25 automatic checking of security protocols – Fast - 1996
69 A Model for Secure Protocols and Their Compositions (Extended Abstract) – Nevin Heintze, J. D. Tygar - 1996
761 Design and Validation of Computer Protocols – Gerard Holzmann - 1991
113 A Partial Approach to Model Checking – Patrice Godefroid, Pierre Wolper - 1994
154 Stubborn Sets for Reduced State Space Generation – Antti Valmari - 1989
113 An Improvement in Formal Verification – Gerard Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled - 1994
860 Using encryption for authentication in large networks of computers – R Needham, M Schroeder - 1978
611 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
581 An automata-theoretic approach to automatic program verification – M Y Vardi, P Wolper - 1986