Varadan Savulimedu Veeravalli is an author at TU Wien specializing in formal methods, hardware security, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceHardware SecurityAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringComputer Architecture
Publications per year
2009–2014
3
3
Fault tolerance for arithmetic and logic unit
Varadan Savulimedu Veeravalli · 2009 · 16 citations
Rows per page
1–3 of 3