Keyphrases
- transition systems
- control flow
- model checking
- concurrent systems
- temporal logic
- finite state
- data flow
- reactive systems
- formal semantics
- practical reasoning
- software testing
- formal specification
- case study
- modal logic
- formal verification
- model checker
- workflow management systems
- domain independent
- markov chain
- distributed systems