GARG, Dr. Puneet. FORMAL METHODS IN NETWORK VERIFICATION: A SURVEY OF TECHNIQUES, TOOLS, AND FUTURE DIRECTIONS. Journal of Global Research in Mathematical Archives(JGRMA), [S. l.], v. 12, n. 10, p. 77–86, 2025. DOI: 10.5281/zenodo.17710179. Disponível em: https://www.jgrma.com/index.php/jgrma/article/view/668. Acesso em: 28 nov. 2025.