“Formal Verification Frameworks for Secure Smart Contract Development”, Blo.web.dig.jrnl, vol. 2, no. 1, pp. 37–44, Mar. 2025, Accessed: Aug. 31, 2026. [Online]. Available: https://galaxiauniverse.com/index.php/BWDTJ/article/view/446