zUpdate

swMATH34181MaRDI QIDQ45890FDOQ45890

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/10.1145/2486001.2486005

Cited In (7)

• Model checking data flows in concurrent network updates
• Automatic synthesis of transiently correct network updates via Petri games
• Anteater
• AdamMC
• FatTire
• Kuai
• PTrie

This page was built for software: zUpdate