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). doi: 10.31449/inf.v50i6.8593.