Compiling Stateful Network Properties for Runtime Verification

15 Jul 2016 Nelson Tim DeMarinis Nicholas Hoff Timothy Adam Fonseca Rodrigo Krishnamurthi Shriram

Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • NETWORKING AND INTERNET ARCHITECTURE