Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification.
Deshuai HanJianchun XingQiliang YangHongda WangXuewei ZhangPublished in: COMPSAC Workshops (2016)
Keyphrases
- sequence diagrams
- formal verification
- uml models
- model checking
- petri net
- class diagrams
- formal methods
- intermediate representation
- activity diagrams
- model checker
- bounded model checking
- automated verification
- formal specification
- model based testing
- test cases
- symbolic model checking
- class diagram
- unified modelling language
- high level
- dependency graph
- regression testing
- software systems
- temporal logic
- range images
- error rate