Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.

Haiying Sun Jing Liu Dehui Du

Published in: APSEC (2012)

Keyphrases

real time
activity monitoring
low cost
real time systems
database
event driven
formal methods
test generation
model checking
face verification
data sets
data fusion
vision system
control system
safety critical
asynchronous circuits
intelligent vehicles
verification method
databases