C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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