Statistics
Publications
4
Citations
110
H-Index
4
Active since
2003
Affiliations
University of Oxford(Current)
Mitra Purandare is an author at University of Oxford specializing in computer science, formal methods, and model checking.
Publications per year
2003–2017
4
4
Dos and don'ts of CTL state coverage estimation
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi · 2003 · 48 citations
Coverage in interpolation-based model checking
Hana Chockler, Daniel Kroening, Mitra Purandare · 2010 · 18 citations
1–4 of 4