Protocol Verification as a Hardware Design Aid (1992)

Cached

Download Links

by David L. Dill , Andreas J. Drexler , Alan J. Hu , C. Han Yang
Venue:IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS
Citations:239 - 27 self

Documents Related by Co-Citation

1311 Symbolic Model Checking – K McMillan - 1993
1273 The model checker SPIN – Gerard J. Holzmann - 1997
775 Design and Validation of Computer Protocols – G J Holzmann - 1991
1194 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
628 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
616 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
882 Using encryption for authentication in large networks of computers – R M Needham, M D Schroeder - 1978