Inventor
AKHTAR ASIA
IN3 patents
Patents
3 patentsUS12130845B2Oct 29, 2024
Method and system for validation of calculation code against calculation specification
TATA CONSULTANCY SERVICES LTD0 citations41
US11275860B2Mar 15, 2022
System and method for software verification
TATA CONSULTANCY SERVICES LTD0 citations41
US12596708B2Apr 7, 2026
Systems and methods for automated code generation for calculation based on associated formal specifications
TATA CONSULTANCY SERVICES LTD0 citations38