Papers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu. Automatic Verification of Message-Based Device Drivers. In Proceedings of the Systems Software Verification Conference (SSV'12), Electronic Proceedings in Theoretical Computer Science 102, pages 4-17. 2012.

Bibtex:

@inproceedings{AmaniCDLRZ_SSV2012,
   title      = {Automatic Verification of Message-Based Device
                 Drivers},
   author     = {Sidney Amani and Peter Chubb and Alastair F.
                 Donaldson and Alexander Legg and Leonid Ryzhyk
                 and Yanjin Zhu},
   booktitle  = {Proceedings of the Systems Software Verification
                 Conference (SSV'12)},
   series     = {Electronic Proceedings in Theoretical Computer
                 Science},
   volume     = {102},
   pages      = {4-17},
   year       = {2012}
}