Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks - View it on GitHub