VeriFlow 要求 Python 3 跑步 $ python Main.py 样品运行 $ python Main.py Enter network configuration file name (eg.: file.txt): > Topo/Topo1.txt Number of ECs: 9 Number of affected ECs: 9 Network is well-formed (No property violations) Add rule by entering A#switchIP-rulePrefix-nextHopIP (eg.A#127

veriflow.pdf