Verifying the Conformance of a Driver Implementation to the VirtIO Specification.

Matias Vara Larsen

Published in: DATE (2021)

Keyphrases

specification language
protocol specification
computer vision
databases
data mining
high level
implementation details
implementation issues
real time
data sets
real world