SOWMYA, G.; SRIDEVI, R. SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts. Informatica, [S. l.], v. 50, n. 6, 2026. DOI: 10.31449/inf.v50i6.8593. Disponível em: https://www.informatica.si/index.php/informatica/article/view/8593. Acesso em: 3 mar. 2026.