Keyphrases
- business process
- model checking
- business processes
- temporal logic
- formal verification
- business process management
- abstract interpretation
- verification method
- timed automata
- business rules
- formal specification
- workflow model
- ws bpel
- real world
- automated verification
- transition systems
- model checker
- static analysis
- case study
- web services