Docker Redundancy Validation Tool - Backend
-
Updated
Feb 26, 2017 - PHP
Docker Redundancy Validation Tool - Backend
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.
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
Docker Redundancy Validation Tool - Frontend
Add a description, image, and links to the redundancies topic page so that developers can more easily learn about it.
To associate your repository with the redundancies topic, visit your repo's landing page and select "manage topics."