VBPMN: Automated Verification of BPMN Processes (Tool Paper).

Ajay Krishna Pascal Poizat Gwen Salaün

Published in: IFM (2017)

Keyphrases

automated verification
process model
model checking
automated reasoning
business process
business process management
business processes
formal verification
neural network
data sets
software tools
artificial intelligence
software systems
user friendly
temporal logic
model driven