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 enables formal verification of safety and liveness properties using temporal logic–based model checking. To address scalability challenges, the invention applies state-space optimization techniques and generates interpretable counterexample execution traces for detected violations. By supporting smart contracts developed in different programming languages, SmartScan improves the reliability, security, and trustworthiness of smart contract–based systems across heterogeneous blockchain platforms. 4 Claims and 2 Figures.
Disclaimer: Curated by HT Syndication.
