Keyphrases
- concurrent systems
- model checking
- temporal logic
- formal specification
- process algebra
- distributed systems
- transition systems
- formal specification language
- formal verification
- verification method
- finite state
- model checker
- petri net
- fine grained
- relational databases
- formal methods
- machine learning
- knowledge representation