ALEXANDRIA, Va., Aug. 20 -- United States Patent no. 12,395,418, issued on Aug. 19, was assigned to Microsoft Technology Licensing LLC (Redmond, Wash.).

"Network verification systems and methods" was invented by Ryan Andrew Beckett (Redmond, Wash.), Karthick Jayaraman (Kirkland, Wash.), Neha Milind Raje (Redmond, Wash.), Jitendra Padhye (Redmond, Wash.), Christopher Scott Johnston (Redmond, Wash.), Steven Jeffrey Benaloh (Seattle), Nikolaj Bjorner (Woodinville, Wash.), Andrey Aleksandrovic Rybalchenko (Cambridge, Great Britain), Nuno Cerqueira Afonso (Cambridge, Great Britain), Nuno Claudino Pereira Lopes (Cambridge, Great Britain), Sharad Agarwal (Seattle), Hang Kwong Lee (Issaquah, Wash.), Aniruddha Parkhi (Bothell, Wash.) and Maik Riech...