VeriFlow

swMATH25229MaRDI QIDQ36971FDOQ36971

Author name not available (Why is that?)

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

Cited In (16)

• DyNetiKAT
• Actor-based model checking for software-defined networks
• Probabilistic NetKAT
• Frenetic
• NetKAT
• VeriCon
• Flow logic
• Flow logic
• Title not available (Why is that?)
• Syco
• Merlin
• WNetKAT
• Anteater
• Kuai
• Some complexity results for stateful network verification
• p4v

This page was built for software: VeriFlow