GitHub repository: levindoneto/Placidus
Primary language: Java
Description: Placidus is a formal verification platform for Software Defined Networks, and it has two modules for checking the following properties: conflicts, redundancies and reachability on network topologies.