VERT-verification of real-time programs.

Mike Beaven Brad Elmore Dan C. Marinescu Ryan Stansifer

Published in: COMPSAC (1991)

Keyphrases

real time
vision system
low cost
database
model checking
computer programs
real time systems
signature verification
hardware designs
data sets
image processing
control system
quality of service
asynchronous circuits