A Property-Driven Approach to Formal Verification of Process Models.
Benoît CombemaleXavier CrégutPierre-Loïc GarocheXavier ThiriouxFrançois VernadatPublished in: ICEIS (Selected Papers) (2007)
Keyphrases
- process model
- formal verification
- model checking
- process mining
- model checker
- business processes
- event logs
- automated verification
- bounded model checking
- business process
- symbolic model checking
- business process models
- real world
- control flow
- temporal logic
- petri net
- software process
- code generator
- formal specification
- design patterns
- object oriented