Create a New BPMN Model Load a BPMN Model Download Displayed Model Parse a Model Open Verification Menu Zoom to Fit
Non-Domain dependent properties
Domain dependent properties
LTL Property Builder
MultiVestA Parameters
Select Verification Tool
LTL Maude Model Checker MultiVeStA Statistical Model Checker:
Display elements id on click Start