Line 37: | Line 37: | ||
* [http://bibbase.org/network/publication/lausdahl-ishikawa-larsen-interpretingimplicitvdmspecificationsusingprob-2015 Animating implicit VDM specifications inside Ouverture] | * [http://bibbase.org/network/publication/lausdahl-ishikawa-larsen-interpretingimplicitvdmspecificationsusingprob-2015 Animating implicit VDM specifications inside Ouverture] | ||
* [http://www.ovado.net Ovado] (as second tool chain) | * [http://www.ovado.net Ovado] (as second tool chain) | ||
* [https://github.com/tofische/cucumber-event-b Cucumber-Event-B] tool to run high-level tests | |||
== Related Tools == | == Related Tools == |