Add this URL to your Eclipse Installation to reach this solution's update site.
BProVe a novel verification framework for BPMN 2.0. The analysis is based on a formal operational semantics, implemented using MAUDE, defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification.
Unsuccessful Installs in the last 7 Days: 0
By adding the following code below to your website you will be able to add an install button for BProVe.HTML Code: