Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages☆
Under a Creative Commons license
open access
Keywords
Verification and Validation
Sequence Diagrams
Model Checking
Linea Temporal Logic
UML Design
Cited by (0)
- ☆
This work was possible due to funding and scientific cooperation with Ericsson Canada Software Research.
Copyright © 2009 Elsevier B.V.