Intellectual Property India Publishes Patent Application for 'Method And System For Performing Outer Loop Abstraction For Efficient Verification Of Reactive Systems' Filed by Tata Consultancy Services Limited

MUMBAI, India, April 4 -- Intellectual Property India has published a patent application (202321065633 A) filed by Tata Consultancy Services Limited, Maharashtra, on Sept. 29, 2023, for 'method and system for performing outer loop abstraction for efficient verification of reactive systems.'

Inventor(s) include Darke, Priyanka; and Chimdyalwar, Bharti.

The application for the patent was published on April 4, under issue no. 14/2025.

According to the abstract released by the Intellectual Property India: "Reactive systems commonly feature an outer infinite loop that captures environmental input and according to the inputs decides the system's response. The outer infinite loop implies that almost every reactive system contains nested loops. ...