Anteater
From MaRDI portal
Software:44084
No author found.
Source code repository: https://github.com/haohui/anteater
Related Items (4)
Computational Verification of Network Programs in Coq ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ Actor-based model checking for software-defined networks ⋮ Some complexity results for stateful network verification
This page was built for software: Anteater
