Sowmya, G., & Sridevi, R. (2026). SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts. Informatica, 50(6). https://doi.org/10.31449/inf.v50i6.8593