@article{Amani_CDLORZ_14, month = may, keywords = {dingo, device drivers, verification}, journal = {ACM Operating Systems Review}, volume = {48}, number = {1}, author = {Amani, Sidney and Chubb, Peter and Donaldson, Alastair and Legg, Alexander and Ong, Keng Chai and Ryzhyk, Leonid and Zhu, Yanjin}, year = {2014}, title = {Automatic Verification of Active Device Drivers}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8142.pdf} }