Automatic Verification of Message-Based Device Drivers
@inproceedings{DBLP:journals/corr/abs-1211-6185,
author = {Sidney Amani and
Peter Chubb and
Alastair F. Donaldson and
Alexander Legg and
Leonid Ryzhyk and
Yanjin Zhu},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Automatic Verification of Message-Based Device Drivers},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV} 2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {4-17},
year = {2012},
doi = {10.4204/EPTCS.102.3},
}