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 repository. The framework converts software artifacts and policy constraints into formal state models, generates machine verifiable properties, proves or refutes behavioral obligations, interprets violating paths, and compares deployed execution traces against verified admissible trajectories to improve correctness assurance, change impact analysis, and operational confidence in autonomous software behavior."
Disclaimer: Curated by HT Syndication.
