Sowmya, G., and R. Sridevi. “SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts”. Informatica 50, no. 6 (February 21, 2026). Accessed March 3, 2026. https://www.informatica.si/index.php/informatica/article/view/8593.