“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: 24 October 2026).