“Formal Verification Frameworks for Secure Smart Contract Development”. Blockchain, Web3 & Digital Trust Journal P-ISSN 3117-597X and E-ISSN 3117-5988, vol. 2, no. 1, Mar. 2025, pp. 37-44, https://galaxiauniverse.com/index.php/BWDTJ/article/view/446.