|
@ratulm | |||||
|
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.
ratul.org/papers/hotnets…
|
||||||
|
||||||