Mandayam Srivas

• A systematic methodology for verifying superscalar microprocessors
• Moving formal methods into practice
• Verification of the FtCayuga fault-tolerant microprocessor system
• Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification