Formal Verification of UML Sequence Diagrams in the Embedded Systems Context.
Elisabete CunhaMarcelo CustódioHerbert RochaRaimundo S. BarretoPublished in: SBESC (2011)
Keyphrases
- sequence diagrams
- embedded software
- embedded systems
- formal verification
- petri net
- class diagrams
- uml models
- activity diagrams
- intermediate representation
- model checking
- class diagram
- regression testing
- test cases
- model based testing
- low cost
- unified modelling language
- software systems
- dependency graph
- resource limited
- embedded devices
- hw sw
- uml class diagrams
- software engineering
- computing power
- embedded real time systems