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