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