Combining Forces: How to Formally Verify Informally Defined Embedded Systems.
Paula HerberTimm LiebrenzJulius AdeltPublished in: FM (2021)
Keyphrases
- embedded systems
- computing power
- low cost
- embedded software
- embedded devices
- processing power
- real time systems
- resource limited
- embedded real time systems
- hardware software
- software systems
- real time image processing
- hw sw
- real time
- flash memory
- consumer electronics
- safety critical
- efficient implementation
- response time
- multi agent systems