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

Cached

Download Links

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

Documents Related by Co-Citation

273 A Stubborn Attack on State Explosion – A Valmari - 1991
1213 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
1372 Symbolic Model Checking – K L McMillan - 1993
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
1132 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
811 Design and Validation of Computer Protocols – G J Holzmann - 1990
928 Using encryption for authentication in large networks of computers – R M NEEDHAM, SCHROEDER - 1978
642 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999