Kuai

swMATH34182MaRDI QIDQ45891FDOQ45891

Author name not available (Why is that?)

Official website: https://ieeexplore.ieee.org/document/6987609

Cited In (9)

• Model checking data flows in concurrent network updates
• Actor-based model checking for software-defined networks
• VeriCon
• Syco
• VeriFlow
• Anteater
• AdamMC
• FatTire
• zUpdate

This page was built for software: Kuai