1
Publications
35
Citations
1
H-Index
2019
Active since
Affiliations
Jatin Arora is an author at Indian Institute of Technology Bombay specializing in formal verification, software engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2019–2019
1
1
Verification of programs under the release-acquire semantics
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig et al. · 2019 · 35 citations
Rows per page
1–1 of 1