GIVUP

GIVUP: GeneratIon and Verification of Underspecified Processes

Password:

Please provide a password.

Business process:

Describe your BPMN Upload your BPMN

You must provide a description!

Tasks already named

Choose your model file:

Temporal logic property:

Describe your property Upload your property

Choose your property file:

You must provide a description!

⚠ Warning!

✔️ True!

❌ False!

Counter-example Counter-example LTS Colored BPMN

Please indicate your satisfaction:

⭐⭐⭐⭐ ⭐⭐⭐⭐ ⭐⭐⭐⭐ ⭐⭐⭐⭐ ⭐⭐⭐⭐