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