Automatic Symbolic Verification of Embedded Systems.

Rajeev Alur Thomas A. Henzinger Pei-Hsin Ho

Published in: RTSS (1993)

Keyphrases

embedded systems
low cost
processing power
real time systems
embedded software

computing power
embedded devices
real time image processing
resource limited
hardware software

flash memory
hw sw
field programmable gate array
software systems

communication technologies
embedded real time systems
limited resources
high level