Add this URL to your Eclipse Installation to reach this solution's update site.

Neon (4.6)

Learn more...

Details Group Tabs


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.

Additional Details
Eclipse Versions: 
Neon (4.6)
Platform Support: 
Windows, Mac, Linux/GTK
Organization Name: 
Date Created: 
Wed, 2017-10-11 03:53
Development Status: 
Date Updated: 
Wed, 2017-10-11 08:30
December 2018NA0 (0%)6
November 2018NA0 (0%)13
October 2018NA0 (0%)11
September 2018NA0 (0%)9
August 2018NA0 (0%)8
July 2018NA0 (0%)12
June 2018NA0 (0%)17
May 2018NA0 (0%)8
April 2018NA0 (0%)8
March 2018NA0 (0%)7
February 2018NA0 (0%)8
January 2018NA0 (0%)12
View Data for all Listings

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for BProVe.

HTML Code:

Markdown Syntax:

Output: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Saturday, December 8, 2018 - 19:30