MUMBAI, India, Nov. 2 -- Intellectual Property India has published a patent application (202641125343 A) filed by Vellore Institute Of Technology on October 21, 2026, for Transformation-Causal Contract-Based System For Safety-Gated Software Refactoring And Behavioral Equivalence Verification.
Inventors include Dhinesh Babu L D; and Ms Shabreena.
The application for the patent was published on October 30, 2026, under issue no. 44/2026.
Abstract: ABSTRACT The present invention relates to a Transformation-Causal Contract based software verification system for safety-gated automated software refactoring and program transformation. The system generates a Transformation Semantic Fingerprint (Tf) representing structural, dependency, control-flo...