VeriCon

swMATH16297MaRDI QIDQ28167FDOQ28167

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2594317

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