Line 24: | Line 24: | ||
* [http://www.beta-tool.info/user_guide.html Beta] | * [http://www.beta-tool.info/user_guide.html Beta] | ||
* [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo (see PhD thesis)] | * [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo (see PhD thesis)] | ||
* [ | * [http://dx.doi.org/10.14279/depositonce-2502 Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] [http://link.springer.com/article/10.1007%2Fs10270-012-0272-x SSM article (2014)] | ||
* [http://b4msecure.forge.imag.fr B4MSecure] | * [http://b4msecure.forge.imag.fr B4MSecure] | ||
* [http://genisis.forge.imag.fr GenISIS] | * [http://genisis.forge.imag.fr GenISIS] |