TY  - RPRT
TI  - Automatic Verification of Message-Based Device Drivers
AU  - Sidney Amani
AU  - Peter Chubb
AU  - Alastair F. Donaldson
AU  - Alexander Legg
AU  - Leonid Ryzhyk
AU  - Yanjin Zhu
PY  - 2012
DO  - 10.4204/eptcs.102.3
UR  - https://arxiv.org/abs/1211.6185
ID  - 1211.6185
ER  -