Statistics
Publications
1
Citations
36
H-Index
1
Active since
1999
Affiliations
Carnegie Mellon University(Current)
Vinayak Patankar is an author at Carnegie Mellon University specializing in system software, formal verification, and formal methods.
Publications per year
1999–1999
1
1
Formal verification of an ARM processor
Vinayak Patankar, Alok Jain, Randal E. Bryant · 1999 · 36 citations
Engineering, Hardware Verification Language, Verification +17
1–1 of 1