Python implementation of VeriFlow: Verifying Network-Wide Invariants in Real Time
Primary LanguagePythonGNU General Public License v3.0GPL-3.0