Keyphrases
- model checking
- process model
- temporal logic
- process mining
- model checker
- formal verification
- business processes
- automated verification
- business process
- real valued
- boolean functions
- event logs
- symbolic model checking
- epistemic logic
- temporal properties
- formal specification
- verification method
- business process models
- computation tree logic
- petri net
- design patterns
- control flow
- transition systems
- formal methods
- knowledge base
- code generator
- alternating time temporal logic