VeriCon
From MaRDI portal
Cited in
(16)- Model checking data flows in concurrent network updates
- Actor-based model checking for software-defined networks
- Bounded quantifier instantiation for checking inductive invariants
- LoLA
- Frenetic
- NetKAT
- Syco
- VeriFlow
- Anteater
- AdamMC
- FatTire
- Kuai
- zUpdate
- Some complexity results for stateful network verification
- Ivy
- NetKAT -- a formal system for the verification of networks
This page was built for software: VeriCon
