Anteater

swMATH32373MaRDI QIDQ44084FDOQ44084

Author name not available (Why is that?)

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

Source code repository: https://github.com/haohui/anteater

Cited In (15)

• DyNetiKAT
• Computational verification of network programs in Coq
• Model checking data flows in concurrent network updates
• Actor-based model checking for software-defined networks
• LoLA
• NetKAT
• VeriCon
• Syco
• VeriFlow
• AdamMC
• FatTire
• Kuai
• zUpdate
• Some complexity results for stateful network verification
• p4v

This page was built for software: Anteater