Advaita Datar is an author at Tata Technologies (India) specializing in formal methods, automated reasoning, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringSoftware Verification
Publications per year
2013–2019
2
2
VeriAbs : Verification by Abstraction and Test Generation
Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations
Rows per page
1–2 of 2