Skip to content

Commit 1fcb5f0

Browse files
MuLx10MuLx10
authored
Update README.md
1 parent 5f1caf6 commit 1fcb5f0

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎README.md‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
# VeriFlow
22

3+
[VeriFlow: Verifying Network-Wide Invariants in Real Time](https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf)
4+
35
## Requirements
46
- Python 3
57

0 commit comments

Comments
 (0)