Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redundancies and reachability on network topologies.
Home Page:https://www.youtube.com/watch?v=GInAnGaaBoQ
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool