Formal specification and automated verification of UML2.0 sequence diagrams.
Tu PengGangyi DingPublished in: GrC (2012)
Keyphrases
- formal specification
- sequence diagrams
- automated verification
- model checking
- temporal logic
- petri net
- uml models
- class diagrams
- formal verification
- activity diagrams
- intermediate representation
- specification language
- object oriented design
- model based testing
- process algebra
- class diagram
- regression testing
- formal methods
- dependency graph
- test cases
- high level
- modal logic
- automated reasoning
- asynchronous circuits
- software testing