VeriCon
From MaRDI portal
Software:28167
No author found.
Related Items (5)
Model Checking Data Flows in Concurrent Network Updates ⋮ Bounded Quantifier Instantiation for Checking Inductive Invariants ⋮ Actor-based model checking for software-defined networks ⋮ NetKAT — A Formal System for the Verification of Networks ⋮ Some complexity results for stateful network verification
This page was built for software: VeriCon
