Keyphrases
- model checking
- formal methods
- class diagrams
- model checker
- sequence diagrams
- temporal logic
- uml class diagrams
- reactive systems
- conceptual modeling
- formal specification
- temporal properties
- object oriented
- class diagram
- formal verification
- partial order reduction
- finite state
- symbolic model checking
- reachability analysis
- automated verification
- process algebra
- finite state machines
- specification language
- pspace complete
- epistemic logic
- reverse engineering
- verification method
- concurrent systems
- timed automata
- petri net
- bounded model checking
- computation tree logic
- knowledge representation
- artificial intelligence
- binary decision diagrams
- transition systems
- metamodel
- knowledge based systems
- data model