VeriCon

swMATH16297MaRDI QIDQ28167FDOQ28167

Author name not available (Why is that?)

Cited In (5)

• Actor-based model checking for software-defined networks
• Model Checking Data Flows in Concurrent Network Updates
• Some complexity results for stateful network verification
• Bounded Quantifier Instantiation for Checking Inductive Invariants
• NetKAT — A Formal System for the Verification of Networks

This page was built for software: VeriCon