D. P. Garg, “FORMAL METHODS IN NETWORK VERIFICATION: A SURVEY OF TECHNIQUES, TOOLS, AND FUTURE DIRECTIONS”, JGRMA, vol. 12, no. 10, pp. 77–86, Oct. 2025.