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