Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.

Sam Owre John M. Rushby Natarajan Shankar Friedrich W. von Henke Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. 107-125 http://www.computer.org/tse/ts1995/e0107abs.htm 1995 21 IEEE Trans. Software Eng. 2 db/journals/tse/tse21.html#OwreRSH95