Sign in

Challenge benchmarks for verification of real-time programs.

Tomas KaliberaPavel ParízekGhaith HaddadGary T. LeavensJan 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