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), 77–86. https://doi.org/10.5281/zenodo.17710179