Microsoft Technology Licensing, LLC

Neha Milind Raje

Jitendra Dattatraya Padhye

Ryan Andrew Beckett

Karthick Jayaraman

Christopher Scott Johnston

Steven Jeffrey Benaloh

Sharad Agarwal

Nikolaj Skallerud Bjorner

Rachee Singh

Nuno Claudino Pereira Lopes

Hang Kwong Lee

Wei Bai

Maik Riechert

Andrey Aleksandrovic Rybalchenko

Nuno Cerqueira Afonso

Aniruddha Parkhi

Sarah Elisabeth McClure

Sarah Elisabeth Mcclure

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.

Network verification systems and methods

Ghost routing is a network verification technique that uses a portion of a production network itself to verify the impact of potential network changes. Ghost routing logically partitions the production network into a main network and a ghost network. The main network handles live traffic while the ghost network handles traffic generated for diagnostic purposes. The ghost network may have a network topology identical to the production network and may use the same hardware and software as the production network. An operator may implement a network configuration change on the ghost network and then use verification tools to verify that the network configuration change on the ghost network does not result in bugs. Verifying on the ghost network may not affect the main network. If the network operator verifies the network configuration change on the ghost network, the network operator may implement the network configuration change on the main network.

Ghost routing

Growing community of inventors

Redmond, WA, United States of America

Neha Milind Raje