Challenge benchmarks for verification of real-time programs.

Tomas Kalibera Pavel Parízek Ghaith Haddad Gary T. Leavens Jan Vitek

Published in: PLPV (2010)

Keyphrases

real time
low cost
symbolic execution
control system
face verification
real time systems
database
knowledge base
video sequences
high resolution
general purpose
high speed
data acquisition
hardware designs