zUpdate

MaRDI QIDQ45890swMATHFDO

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