Querying network state: Frenetic offers a
high-level query language for subscribing to
streams of information about network state,
including traffic statistics and topology changes.
The runtime system handles the details of polling
switch counters, aggregating statistics, and
responding to events