K. S. Mandayam

A Bitvectors Library for PVS

S. Paul, P. Steven, W. Ricky, 1996 .

Formal Verification of the AAMP-FV Microcode

K Srivas Mandayam, P Miller Steven, A Greve David, 1999 .

Formal Verification of an Avionics Microprocessor

K Srivas Mandayam, P Miller Steven, P. Steven, 1995 .

A Systematic Methodology for Verifying Superscalar Microprocessors

K Srivas Mandayam, Hosabettu Ravi, Gopalakrishnan Ganesh, 1999 .