Keyphrases
- sequence diagrams
- class diagrams
- petri net
- uml models
- unified modelling language
- epistemic logic
- activity diagrams
- uml class diagrams
- intermediate representation
- uml activity diagrams
- test cases
- dependency graph
- regression testing
- class diagram
- temporal reasoning
- temporal logic
- model checking
- formal semantics
- model based testing
- open source
- database
- specification language
- modal logic
- knowledge base