Trailblazer

Trailblazer is an efficient network verifier that implements the technique described in the paper, "Efficient SMT-based Network Fault Tolerance Verification".

Install

1. Clone this repository

2. Build Batfish and Minesweeper Follow the steps described here

3. Create a conda environment with all requirements

   $ conda create -n yourenv python=3.6
   $ pip install -r requirements.txt

Run

$ python run_c2s.py --scenario_path <scenario path> -mf <num of max dropped links> -rd <recursive depth> --threshold <num of policies to be verified>

Arguments

• scenario path - The path to the directory containing the scenario.

• mf - An int specifying the maximum amount of failures to allow.

• rd - An int specifying the depth for recursive best path optimization.

• threshold - An int specifying the maximum number of policies to verify.

Example

$ python run_c2s.py --scenario_path scenarios/bics/ospf -mf 2 -rd 1 --threshold 1