Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
Mirko LoghiTiziana MargariaGraziano PravadelliBernhard SteffenPublished in: Int. J. Parallel Program. (2005)
Keyphrases
- embedded systems
- formal verification
- model checking
- low cost
- real time image processing
- computing power
- embedded devices
- resource limited
- embedded software
- real time systems
- processing power
- model checker
- hardware software
- safety critical
- symbolic model checking
- flash memory
- software systems
- bounded model checking
- communication technologies
- automated verification
- image processing
- embedded real time systems
- open source
- software engineering
- case study