M

Mandayam Srivas

5 books found

Books by Mandayam Srivas
A systematic methodology for verifying superscalar microprocessorsMandayam Srivas

A systematic methodology for verifying superscalar microprocessors

Mandayam Srivas

1999No page data
Moving formal methods into practiceMandayam Srivas

Moving formal methods into practice

Mandayam Srivas

1992No page data
Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verificationMandayam Srivas
⏱ 55m

Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification

Mandayam Srivas

199155 pp.
Verification of the FtCayuga fault-tolerant microprocessor systemMandayam Srivas

Verification of the FtCayuga fault-tolerant microprocessor system

Mandayam Srivas

1991No page data
Formal verification of an avionics microprocessorMandayam K. Srivas
⏱ 1h 40m

Formal verification of an avionics microprocessor

Mandayam K. Srivas

1995100 pp.