Compiling Stateful Network Properties for Runtime Verification

  title={Compiling Stateful Network Properties for Runtime Verification},
  author={Tim Nelson and Nicholas DeMarinis and Timothy Adam Hoff and Rodrigo Fonseca and Shriram Krishnamurthi},
Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest… CONTINUE READING
Twitter Mentions