An older version of the BPRoVe was integrated in the Apromore platform as a plugin for the editor environment. You can access one of the available Apromore nodes to test its functionalities.
From the Apromore Editor, open a BPMN model and click on the BProVe icon. A window pops up to select the properties to verify from a drop-down menu. The result of the verification together with the time required to verify the property is reported in the “Verification Result” area. If the result is negative the process trace which violates the property will be highlighted in red.
Below a BProVe tutorial for its integration in Apromore is reported.