A tutorial on using PVS for hardware verification (1994)

by S OWRE, J M RUSHBY, N SHANKAR, M K SRIVAS
Venue:In Theorem Provers in Circuit Design (TPCD ’94