Garg, Dr. Puneet. 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.