2
Publications
30
Citations
2
H-Index
2012
Active since
Affiliations
Tata Consultancy Services (India)(Current)
Mayur Khanzode is an author at Tata Consultancy Services (India) specializing in formal verification, formal methods, and software engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignStatic Analysis
Publications per year
2012–2013
2
2
Precise Analysis of Large Industry Code
Priyanka Darke, Mayur Khanzode, Arun Asokan Nair et al. · 2012 · 20 citations
Rows per page
1–2 of 2