Clock domain crossing formal verification: a meta-model.
Mejid KebailiJean-Christophe BrignoneKatell Morin-AlloryPublished in: HLDVT (2016)
Keyphrases
- formal verification
- metamodel
- modeling language
- development process
- model checking
- reference model
- data model
- life cycle
- domain independent
- model driven
- black box
- software systems
- model checker
- high speed
- bounded model checking
- automated verification
- domain specific
- learning algorithm
- symbolic model checking
- error rate
- program slicing
- uml profile
- design patterns
- power consumption
- software engineering
- artificial intelligence
- machine learning
- databases