Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach.
Vitus S. W. LamJulian A. PadgetPublished in: ECBS (2004)
Keyphrases
- symbolic model checking
- class diagrams
- uml diagrams
- sequence diagrams
- unified modeling language
- uml class diagrams
- model checking
- test cases
- class diagram
- software design
- partial observability
- formal verification
- object oriented
- conformant planning
- formal methods
- model checker
- binary decision diagrams
- temporal logic
- symbolic representation
- design patterns
- petri net
- software engineering
- software systems
- planning domains
- modeling language
- reverse engineering
- database design
- learning algorithm
- constraint satisfaction problems
- relational databases