Advaita Datar
Advaita Datar
Tata Research Development & Design Centre ,
Verified email at
Cited by
Cited by
VeriAbs: verification by abstraction and test generation
P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ...
International Conference on Tools and Algorithms for the Construction and …, 2018
Efficient Elimination of False Positives Using Bounded Model Checking
MKKM Tukaram Muske, Advaita Datar
VALID 2013, The Fifth International Conference on Advances in System Testing …, 2013
VeriAbs: Verification by abstraction and test generation
M Afzal, A Asia, A Chauhan, B Chimdyalwar, P Darke, A Datar, S Kumar, ...
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Scaling bounded model checking by transforming programs with arrays
A Jana, UP Khedker, A Datar, R Venkatesh, C Niyas
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
Simplifying the Review of Communicating Finite State Machines Implementation using Static Analysis
A Zare, A Datar, R Venkatesh, M Hasegawa
SAE Technical Paper, 2016
Method and system for verifying sleep wakeup protocol by computing state transition paths
TB Muske, A Datar, AA Zare
US Patent 9,141,511, 2015
Verification of Group Variables for Detecting Inconsistencies in Software
A Datar, A Zare
SAE Technical Paper, 2015
Verification of Flag Usage Patterns by Static Analysis Techniques
A Zare, A Datar, M Kikuchi, S Ichikawa, M Hasegawa, S Tsunekado
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2014
The system can't perform the operation now. Try again later.
Articles 1–8