Scenario-Based Model Checking of Declarative Process Models.
Nicolai SchützenmeierMartin KäppelMyriel FichtnerStefan JablonskiPublished in: ICEIS (2) (2023)
Keyphrases
- model checking
- process model
- temporal logic
- process mining
- business process
- model checker
- business processes
- formal specification
- temporal properties
- automated verification
- formal verification
- symbolic model checking
- verification method
- transition systems
- epistemic logic
- event logs
- control flow
- petri net
- bounded model checking
- alternating time temporal logic
- formal methods
- design patterns
- domain independent
- knowledge representation
- high level
- data mining
- decision making
- machine learning