Get started
Author

K Srivas Mandayam

Institution: SRI International
Observed institution: SRI International
OpenAlex ID: A5086554269
Formal Verification of an Avionics Microprocessor
1995 · K Srivas Mandayam, P Miller Steven · NASA Technical Reports Server (NASA) · 30
PDF
A Bitvectors Library for PVS
1996 · W Butler Ricky, S Miner Paul, et al. · NASA Technical Reports Server (NASA) · 13
PDF
Formal Verification of the AAMP-FV Microcode
1999 · P Miller Steven, Amélie David, et al. · 9
A Systematic Methodology for Verifying Superscalar Microprocessors
1999 · K Srivas Mandayam, Hosabettu Ravi, et al. · NASA Technical Reports Server (NASA)
PDF
Works count: 4
Citation count: 52
H-index: 3
I10-index: 2
Year
Topic
Type