Advaita Datar
Advaita Datar
Tata Research Development & Design Centre ,
Verified email at
Cited by
Cited by
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
VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution)
P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ...
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 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
Scaling bounded model checking by transforming programs with arrays
A Jana, UP Khedker, A Datar, R Venkatesh
Logic-Based Program Synthesis and Transformation: 26th International …, 2017
Automated Validation of Insurance Applications against Calculation Specifications
A Datar, A Zare, A Asia, R Venkatesh, S Kumar, U Shrotri
2022 IEEE International Symposium on Software Reliability Engineering …, 2022
Method and system for validation of calculation code against calculation specification
AA Datar, Z Amey, A Akhtar, V Ramanathan, S Kumar, UA Shrotri, ...
US Patent App. 18/153,192, 2023
Towards Synthesis of Code for Calculations Using Their Specifications.
A Datar, A Zare, R Venkatesh, A Asia
ENASE, 497-504, 2023
System and method for software verification
P Darke, B Chimdyalwar, A Chauhan, P Shah, S Kumar, M Afzal, ...
US Patent 11,275,860, 2022
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–12