ArchMDE Approach for the Formal Verification of Real Time Systems.
Nourchène ElleuchAdel KhalfallahSamir Ben AhmedPublished in: CIT (2011)
Keyphrases
- real time systems
- formal verification
- model checking
- real time
- automated verification
- embedded systems
- model checker
- bounded model checking
- distributed systems
- symbolic model checking
- real time database systems
- program slicing
- timing constraints
- mission critical
- object oriented programming language
- architectural model
- real time embedded
- anytime algorithms
- temporal logic