Garg, Dr. Puneet. “FORMAL METHODS IN NETWORK VERIFICATION: A SURVEY OF TECHNIQUES, TOOLS, AND FUTURE DIRECTIONS”. Journal of Global Research in Mathematical Archives(JGRMA), vol. 12, no. 10, Oct. 2025, pp. 77-86, doi:10.5281/zenodo.17710179.