The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 14, 2021
Filed:
Dec. 08, 2020
Microsoft Technology Licensing, Llc, Redmond, WA (US);
Ryan Andrew Beckett, Redmond, WA (US);
Karthick Jayaraman, Kirkland, WA (US);
Neha Milind Raje, Redmond, WA (US);
Jitendra Padhye, Redmond, WA (US);
Christopher Scott Johnston, Redmond, WA (US);
Steven Jeffrey Benaloh, Seattle, WA (US);
Nikolaj Bjorner, Woodinville, WA (US);
Andrey Aleksandrovic Rybalchenko, Cambridge, GB;
Nuno Cerqueira Afonso, Cambridge, GB;
Nuno Claudino Pereira Lopes, Cambridge, GB;
Sharad Agarwal, Seattle, WA (US);
Hang Kwong Lee, Issaquah, WA (US);
Aniruddha Parkhi, Bothell, WA (US);
Maik Riechert, Cambridge, GB;
Microsoft Technology Licensing, LLC, Redmond, WA (US);
Abstract
A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using assertions based on a packet library embedded into the testing manager and the general-purpose programming language.