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