Anteater

swMATH32373MaRDI QIDQ44084FDOQ44084

Author name not available (Why is that?)

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

Cited In (4)

• Actor-based model checking for software-defined networks
• Computational Verification of Network Programs in Coq
• Model Checking Data Flows in Concurrent Network Updates
• Some complexity results for stateful network verification

This page was built for software: Anteater