Published March 11, 2024
| Version v3
Software
Open
KATch: A Fast Symbolic Verifier for NetKAT
Creators
Files
katch-sources.zip
Files
(46.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:44a1412b086a8927127fe20123de44c3
|
46.0 MB | Preview Download |
|
md5:f511a76ee240d71b5b497afe78820a64
|
5.3 kB | Preview Download |