swMATH16270MaRDI QIDQ28140FDOQ28140
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2034812
Cited In (35)
- Explaining safety failures in NetKAT
- Model checking data flows in concurrent network updates
- Frenetic: a network programming language
- Probabilistic NetKAT
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
- Procera
- NetKAT
- VeriCon
- Title not available (Why is that?)
- 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
- NetKAT -- a formal system for the verification of networks
This page was built for software: Frenetic
