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