“SmartScan: A Finite State Machine and CTL-Based Formal Verification Framework for Enhanced Security in Smart Contracts”, IJCAI, vol. 50, no. 6, Feb. 2026, doi: 10.31449/inf.v50i6.8593.