Control Flow Analyzer


Some constraints (e.g., import/export policies) best expressed in terms of higher-level semantics. 

Abstracts mechanisms, gives operators a higher-level view of network configuration.