Intellectual Property India Publishes Patent Application for Smartscan: A Scalable Formal Verification Framework For Smart Contracts Across Multiple Language

MUMBAI, India, Sept. 22 -- Intellectual Property India has published a patent application (202641109012 A) filed by Mlr Institute Of Technology; and Marri Laxman Reddy Institute Of Technology And Management on September 10, 2026, for Smartscan: A Scalable Formal Verification Framework For Smart Contracts Across Multiple Language.

Inventors include Mrs. G. Sowmya; and Dr. R. Sridevi.

The application for the patent was published on September 18, 2026, under issue no. 38/2026.

Abstract: The present invention discloses SmartScan, a scalable formal verification framework for smart contracts written in multiple programming languages. The framework converts smart contract source code into a unified, language-independent behavioral model and ena...