Frenetic
From MaRDI portal
Software:28140
swMATH16270MaRDI QIDQ28140FDOQ28140
Author name not available (Why is that?)
Cited In (7)
- 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
- Title not available (Why is that?)
- NetKAT -- a formal system for the verification of networks
This page was built for software: Frenetic
