Sowmya G, Sridevi R. SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts. IJCAI [Internet]. 2026 Feb. 21 [cited 2026 Mar. 3];50(6). Available from: https://www.informatica.si/index.php/informatica/article/view/8593