Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.
Nadia MenadPhilippe DhaussyZoé DreyRachida MekkiPublished in: Comput. Informatics (2016)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- timed automata
- formal methods
- finite state machines
- formal specification
- symbolic model checking
- class diagram
- specification language
- software systems
- petri net
- modeling language
- uml models
- software development
- software engineering
- unified modeling language
- uml activity diagrams
- transition systems
- program slicing
- uml profile
- state machine
- conceptual modeling
- database design
- uml class diagrams
- metamodel
- object oriented
- high level
- artificial intelligence
- sequence diagrams
- tool support
- software architecture