Cited in
(35)- Explaining safety failures in NetKAT
- Model checking data flows in concurrent network updates
- Probabilistic NetKAT
- Frenetic: a network programming language
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
- Procera
- NetKAT
- VeriCon
- Merlin
- Nettle
- VeriFlow
- WNetKAT
- POX
- Anteater
- AdamMC
- FatTire
- Kuai
- zUpdate
- JESS
- ArOMA
- FADM
- floodlight
- Flowfence
- HyperFlow
- Kandoo
- nox
- OpenFlowSIA
- Ryu
- SDSNM
- SGS
- StateSec
- TDDAD
- SDN-SafeCheck
- scientific article; zbMATH DE number 6905198 (Why is no real title available?)
- NetKAT -- a formal system for the verification of networks
This page was built for software: Frenetic
