Line 33: | Line 33: | ||
* [http://wiki.event-b.org/index.php/MBT_plugin MBT plugin] for model-based testing within Rodin | * [http://wiki.event-b.org/index.php/MBT_plugin MBT plugin] for model-based testing within Rodin | ||
* [https://rajivmurali.github.io/UsecasePro/ UseCasePro], see article in the [http://eprints.ncl.ac.uk/file_store/production/229541/A4269E59-6B4A-485E-8E63-E164802DFADD.pdf proceedings of the 2016 Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems] | * [https://rajivmurali.github.io/UsecasePro/ UseCasePro], see article in the [http://eprints.ncl.ac.uk/file_store/production/229541/A4269E59-6B4A-485E-8E63-E164802DFADD.pdf proceedings of the 2016 Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems] | ||
* [http://bibbase.org/network/publication/lausdahl-ishikawa-larsen-interpretingimplicitvdmspecificationsusingprob-2015 Animating implicit VDM specifications inside Ouverture] | |||
== Related Tools == | == Related Tools == |