VeriFlow

MaRDI QIDQ36971swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=2342452

Cited in

(16)

• DyNetiKAT
• scientific article; zbMATH DE number 6905198 (Why is no real title available?)
• Probabilistic NetKAT
• Frenetic
• NetKAT
• VeriCon
• Syco
• Merlin
• WNetKAT
• Anteater
• Kuai
• Some complexity results for stateful network verification
• Flow logic
• Flow logic
• p4v
• Actor-based model checking for software-defined networks

This page was built for software: VeriFlow