Toward the Verification of a Simple Hypervisor

Mike Dahlin Ryan Johnson Robert Bellarmine Krug Michael McCoyd William D. Young

Published in: ACL2 (2011)

Keyphrases

image sequences
formal verification
image processing
database
real time
data sets
similarity measure
model checking
signature verification
highly reliable