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