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