Sign in

Challenge benchmarks for verification of real-time programs: (abstract only).

Tomas KaliberaPavel ParízekGhaith HaddadGary T. LeavensJan Vitek
Published in: ACM SIGPLAN Notices (2009)
Keyphrases
  • real time
  • data sets
  • control system
  • higher level
  • symbolic execution
  • databases
  • neural network
  • information systems
  • knowledge base
  • database systems
  • fixpoint
  • real time systems
  • fingerprint verification