levindoneto/Placidus

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.

Language: Java - Size: 153 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

zeoflow/website

Language: HTML - Size: 12.6 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 4