New paper: Putting network verification to good use Ryan and I argue that making network verification broadly accessible requires capabilities like those in software testing--easy expression of tests and meaningful feedback on the test suite itself. https://ratul.org/papers/hotnets2019-putting.pdf …
10:42 AM - 5 Dec 2019
0 replies
3 retweets
21 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.