The following pages link to VeriCon (Q28167):
Displaying 5 items.
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- NetKAT — A Formal System for the Verification of Networks (Q2789031) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)