The tool is an extension of Winikoff et al.'s enhanced commitment machine, which allows exploring all the possible executions of a business protocol, showing all the violations. The implementation is done in tuProlog and the software interprets a 2CL business protocol specification by means of a parser written in Java.
The tool features also a plug-in Eclipse that allows the specification of protocols in a graphical format and allows the visualization and exploration of the resulting labelled graph.
A zip archive containing all the code and the plugin can be downloaded from this link (a video showing how to install it can be downloaded here). A zip archive containing all the examples described in the example section can be downloaded from this link