NetKAT
From MaRDI portal
Cited in
(77)- jMoped
- Towards an analysis of dynamic gossip in Net\textsc{kat}
- Verified iptables firewall analysis and verification
- On series-parallel pomset languages: rationality, context-freeness and automata
- jFuzzyLogic
- Actor-based model checking for software-defined networks
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
- Explaining safety failures in NetKAT
- KAT-ML
- Propositional gossip protocols
- Faster pushdown reachability analysis with applications in network verification
- FIREMAN
- Firmato
- Some complexity results for stateful network verification
- NetCore
- Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
- Procera
- Hakaru
- Minimal number of calls in propositional protocols
- Probabilistic NetKAT
- Frenetic
- VeriCon
- A fast compiler for NetKAT
- Equational theories of abnormal termination based on Kleene algebra
- Canonical finite models of Kleene algebra with tests
- CoVisor
- Syco
- ProbNetKAT
- VeriFlow
- Nettle
- POX
- POSIX Lexing
- Codatatype
- Firewall Builder
- Regular Sets
- Simple Firewall
- IP Addresses
- UPF Firewall
- Iptables Semantics
- LOFT
- ConfigChecker
- Routing
- Hopscotch -- reaching the target hop by hop
- Hereditarily Finite Sets
- Finite Automata HF
- Anglican
- Anteater
- Kuai
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
- Completeness for identity-free Kleene lattices
- Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
- Undecidable Problems for Probabilistic Network Programming
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- iptables
- nftables
- The Hoare logic of deterministic and nondeterministic monadic recursion schemes
- A coalgebraic decision procedure for WS1S
- Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- nox
- HyperFlow
- Kandoo
- ArOMA
- floodlight
- Ryu
- StateSec
- JESS
- FADM
- TDDAD
- Flowfence
- SDSNM
- OpenFlowSIA
- SGS
- SDN-SafeCheck
- Kleene algebra with observations
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- p4v
- DyNetiKAT
This page was built for software: NetKAT
