Search International and National Patent Collections

1. (WO2018222483) GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENCE FAILURES

Pub. No.:    WO/2018/222483    International Application No.:    PCT/US2018/034302
Publication Date: Fri Dec 07 00:59:59 CET 2018 International Filing Date: Fri May 25 01:59:59 CEST 2018
IPC: H04L 12/24
Applicants: CISCO TECHNOLOGY, INC.
Inventors: MOHANRAM, Kartik
Title: GENERATION OF COUNTER EXAMPLES FOR NETWORK INTENT FORMAL EQUIVALENCE FAILURES
Abstract:
Systems, methods, and computer-readable media for generating counterexamples for equivalence failures between models of network intents. A listing of conflict rules corresponding to an equivalence failure between at least first and seconds model of networks intents describing the operation and communication of network devices in a network is obtained. A logical exclusive disjunction between first conflict rules from the first model and corresponding second conflict rules from the second model is calculated. One or more counterexamples corresponding to the equivalence failure are generated based at least in part on the logical exclusive disjunction, such that a given counterexample comprises network and packet conditions that cause the first conflict rules to trigger a first action and cause the second conflict rules to trigger a second action that is different from the first action. Hot fields that are more likely to be associated with the equivalence failure are identified in the counterexample.