Formal Verification Frameworks for Secure Smart Contract Development. Blo.web.dig.jrnl [Internet]. 2025 Mar. 28 [cited 2026 Aug. 31];2(1):37-44. Available from: https://galaxiauniverse.com/index.php/BWDTJ/article/view/446