Methodology for UML Modeling and Formal Verification of Real-Time Systems.
Nawal AddoucheChristian AntoineJacky MontmainPublished in: CIMCA/IAWTIC (2006)
Keyphrases
- real time systems
- formal verification
- unified modeling language
- model checking
- embedded real time systems
- modeling language
- real time
- distributed systems
- embedded systems
- model driven
- real time database systems
- model checker
- software engineering
- object oriented
- anytime algorithms
- symbolic model checking
- architectural model
- formal methods
- sequence diagrams
- high level
- bounded model checking
- knowledge based systems