Inventor

SHAH TANHA

IN2 patents

Patents

2 patents

US11200146B2Dec 14, 2021

Method and system for counter example guided loop abstraction refinement

TATA CONSULTANCY SERVICES LTD2 citations65

US11275860B2Mar 15, 2022

System and method for software verification

TATA CONSULTANCY SERVICES LTD0 citations41