Company Filing History:
Years Active: 2021-2022
Title: Innovations of Tanha Shah
Introduction
Tanha Shah is an accomplished inventor based in Pune, India. He has made significant contributions to the field of software verification, holding 2 patents that address critical challenges in ensuring the reliability and robustness of software systems.
Latest Patents
One of his latest patents is titled "System and method for software verification." This invention provides a system and method for verifying a source code. It addresses the difficulty of determining the appropriate technique for verification among various available methods. The system receives a source code encoded with specifications to be verified and performs a static analysis to identify program features. These features may include multiple return paths, loops with unstructured control flow, and numerical loops. Based on the identified features, verification techniques are applied in a predefined order for a predetermined period.
Another notable patent is "Method and system for counter example guided loop abstraction refinement." This invention focuses on the verification of properties associated with code that contains loops, especially when dealing with large or infinite bounds. The system receives an abstracted piece of code and applies model checking to verify property assertions. If a property assertion fails, the system identifies and analyzes a trace leading to the violation.
Career Highlights
Tanha Shah is currently employed at Tata Consultancy Services Limited, where he continues to innovate in the field of software verification. His work is instrumental in enhancing the reliability of software systems, making significant strides in the industry.
Collaborations
Some of his coworkers include Priyanka Darke and Venkatesh Ramanathan, who contribute to the collaborative environment at Tata Consultancy Services Limited.
Conclusion
Tanha Shah's contributions to software verification through his patents demonstrate his commitment to advancing technology. His innovative solutions address complex challenges in the field, ensuring that software systems are both reliable and robust.