Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.
Daniela GeniusLetitia W. LiLudovic ApvrillePublished in: MODELSWARD (2017)
Keyphrases
- formal verification
- model driven
- model checking
- metamodel
- model driven engineering
- functional verification
- automated verification
- symbolic model checking
- model driven development
- modeling language
- bounded model checking
- platform independent
- service oriented
- temporal logic
- design process
- data driven
- high level
- artificial intelligence
- real world
- model checker
- learning environment