Sowmya, G., and R. Sridevi. 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.