SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends.
Lucas C. CordeiroEddie Batista de Lima FilhoPublished in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
- future trends
- embedded systems
- open issues
- bounded model checking
- low cost
- embedded devices
- poses unique challenges
- consumer electronics
- embedded software
- resource limited
- real time image processing
- computing power
- processing power
- safety critical
- data mining
- model checking
- flash memory
- real world
- temporal logic
- hw sw
- linear temporal logic
- multi agent systems
- field programmable gate array
- communication technologies
- software systems
- context aware