“Formal Verification Frameworks for Secure Smart Contract Development” (2025) Blockchain, Web3 & Digital Trust Journal p-ISSN 3117-597X and e-ISSN 3117-5988, 2(1), pp. 37–44. Available at: https://galaxiauniverse.com/index.php/BWDTJ/article/view/446 (Accessed: 31 August 2026).