MUMBAI, India, May 29 -- Intellectual Property India has published a patent application (202611050458 A) filed by Noida Institute Of Engineering & Technology, Greater Noida, Uttar Pradesh, on April 21, for 'a formal verification framework for autonomous software systems.'
Inventor(s) include Vivek Ranjan; and Dr. Divya Singhal.
The application for the patent was published on May 29, under issue no. 22/2026.
According to the abstract released by the Intellectual Property India: "A formal verification framework for an autonomous software system includes a specification intake module, a semantic model constructor, a property synthesis engine, a verification core, a counterexample analyzer, a runtime conformance monitor, and a traceability r...