G. Sowmya and R. Sridevi, “SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts”, IJCAI, vol. 50, no. 6, Feb. 2026.