Specification and Compilation of Event-driven SDN Programs.

Jedidiah McClurg Hossein Hojjat Nate Foster Pavol Cerný

Published in: CoRR (2015)

Keyphrases

event driven
formal specification
provably correct
information delivery
publish subscribe
code generation
process algebra
real time
control program
high level
control flow
markup language
knowledge base
specification language
formal verification
high level programming language