Automatic Verification of Message-Based Device Drivers

Sidney Amani Peter Chubb Alastair F. Donaldson Alexander Legg Leonid Ryzhyk Yanjin Zhu

Published in: SSV (2012)

Keyphrases

car navigation
email
key factors
database
real time
databases
social networks
read write
program chairs
portable devices