Formal Verification of Embedded Systems based on CFSM Networks.
Felice BalarinHarry HsiehAttila JurecskaLuciano LavagnoAlberto L. Sangiovanni-VincentelliPublished in: DAC (1996)
Keyphrases
- embedded systems
- formal verification
- model checking
- low cost
- embedded devices
- embedded software
- computing power
- model checker
- real time systems
- real time image processing
- resource limited
- symbolic model checking
- processing power
- automated verification
- hardware software
- consumer electronics
- embedded real time systems
- communication technologies
- software systems
- safety critical
- field programmable gate array
- bounded model checking
- flash memory
- real time
- real world