Statistics
Publications
3
Citations
783
H-Index
3
Active since
1996
Affiliations
Richard Raimi is an author at Carnegie Mellon University specializing in computer engineering, computer science, and formal methods.
Publications per year
1996–2001
3
3
Bounded Model Checking Using Satisfiability Solving
Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations
Formal verification of PowerPC arrays using symbolic trajectory evaluation
Manish Pandey, Richard Raimi, Derek L. Beatty et al. · 1996 · 47 citations · Full text
1–3 of 3