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

266 A stubborn attack on state explosion – A Valmari
145 Using partial orders to improve automatic verification methods – P Godefroid - 1991
191 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
1297 Symbolic Model Checking – K L McMillan - 1993
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
289 Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem – Patrice Godefroid - 1995
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
1044 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
762 Design and Validation of Computer Protocols – G Holzmann - 1991
113 A Partial Approach to Model Checking – Patrice Godefroid, Pierre Wolper - 1994
155 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
862 Using encryption for authentication in large networks of computers – R Needham, M Schroeder - 1978
613 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986