Formal Verification of UML 2.0 Sequence Diagram.
Sachoun ParkTaeman HanGihwon KwonPublished in: SEKE (2010)
Keyphrases
- formal verification
- sequence diagrams
- class diagrams
- model checking
- uml models
- petri net
- activity diagrams
- model checker
- intermediate representation
- automated verification
- symbolic model checking
- bounded model checking
- class diagram
- test cases
- unified modelling language
- model based testing
- regression testing
- dependency graph
- artificial intelligence
- test sequences
- temporal logic
- web services