A Toolset for the Specification and Verification of Embedded Systems.
Mohamed Larbi RebaiaiaMohamed BenmohamedJihad Mohamad JaamAhmad HasnahPublished in: PDPTA (2003)
Keyphrases
- embedded systems
- formal verification
- asynchronous circuits
- low cost
- formal methods
- embedded devices
- protocol specification
- model checking
- computing power
- resource limited
- real time systems
- embedded software
- software systems
- development process
- real time image processing
- processing power
- embedded real time systems
- hardware software
- hw sw
- safety critical
- formal specification
- field programmable gate array
- high level
- consumer electronics
- real time
- flash memory
- communication technologies
- artificial intelligence
- signal processing
- real time embedded