Improved Device Driver Reliability Through Verification Reuse.

Leonid Ryzhyk John Keys Balachandra Mirla Arun Raghunath Mona Vij Gernot Heiser

Published in: HotDep (2010)

Keyphrases

car navigation
neural network
knowledge base
model checking
computer vision
website
learning environment
face verification
formal verification
fingerprint verification
reliability analysis
verification method