Line 35: | Line 35: | ||
* [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] | * [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) | |||
== Related Tools == | == Related Tools == |