Garg, D.P. 2025. FORMAL METHODS IN NETWORK VERIFICATION: A SURVEY OF TECHNIQUES, TOOLS, AND FUTURE DIRECTIONS. Journal of Global Research in Mathematical Archives(JGRMA). 12, 10 (Oct. 2025), 77–86. DOI:https://doi.org/10.5281/zenodo.17710179.