A Tutorial Using PVS For Hardware Verification (1994)

by Sam Owre, John Rushby, Natarajan Shankar, Mandayam Srivas
Venue:In Second International Conference on Theorem Proving in Circuit Design, Theory, Practice, and Experience