Line 18: | Line 18: | ||
== Tools using ProB == | == Tools using ProB == | ||
* [https://www.clearsy.com/en/our-tools/clearsy-data-solver/ ClearSy Data Solver] | |||
* [http://www.data-validation.fr/data-validation-in-the-railways/ DTVT - Data Table Validation Tool] (predecessor of ClearSy Data Solver) | |||
* OLAF data validation tool by ClearSy for Alstom and SNCF | |||
* Dave data validation tool by ClearSy for General Electric Transportation | |||
* [https://github.com/plues/plues PLUES] tool for university course validation | * [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://wiki.event-b.org/index.php/IUML-B iUML Statemachines] | * [http://wiki.event-b.org/index.php/IUML-B iUML Statemachines] | ||
* [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ MultiSimulation Plug-In for Rodin] | * [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ MultiSimulation Plug-In for Rodin] |