Line 18: | Line 18: | ||
== Tools using ProB == | == Tools using ProB == | ||
* [https://github.com/plues/plues PLUES] tool for university course validation | |||
* [http://safecap.cs.ncl.ac.uk/index.php/Safecap_Project_Wiki SafeCap] | * [http://safecap.cs.ncl.ac.uk/index.php/Safecap_Project_Wiki SafeCap] | ||
* [http://www.data-validation.fr/data-validation-in-the-railways/ DTVT - Data Table Validation Tool] | * [http://www.data-validation.fr/data-validation-in-the-railways/ DTVT - Data Table Validation Tool] |