Concepedia

Mandayam Srivas

MS

Statistics

Publications

8

Citations

522

H-Index

8

Active since

1987

Affiliations

SRI International(Current)

Rockwell Automation (United States)

Mandayam Srivas is an author at SRI International specializing in engineering, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisComputer EngineeringHardware SecuritySoftware AnalysisComputer Architecture

Publications per year

1987–2003

8

Publications

8

A Tutorial Introduction to PVS

Judy Crow, Sam Owre, John Rushby et al. · 1998 · 215 citations

Electrical Engineering, Engineering, Physics +10

Formal verification of a pipelined microprocessor

Mandayam Srivas, Mark Bickford · IEEE Software · 1990 · 118 citations

Engineering, Hardware Verification Language, Verification +20

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

Steven P. Miller, Mandayam Srivas · 2002 · 89 citations

Engineering, Hardware Verification Language, Collins Commercial Avionics +22

Applying formal verification to a commercial microprocessor

Mandayam Srivas, Steven P. Miller · 2002 · 33 citations

Engineering, Hardware Verification Language, Verification +19

Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods

Mandayam Srivas, Steven P. Miller · Formal Methods in System Design · 1996 · 30 citations

Hardware Security, Engineering, Program Analysis +14

1–5 of 8