Cited By
View all- Amani SChubb PDonaldson ALegg AOng KRyzhyk LZhu Y(2014)Automatic verification of active device driversACM SIGOPS Operating Systems Review10.1145/2626401.262642448:1(106-118)Online publication date: 15-May-2014
- Amani SChubb PDonaldson ALegg ARyzhyk LZhu Y(2012)Automatic Verification of Message-Based Device DriversElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.102.3102(4-17)Online publication date: 26-Nov-2012
- Harris TAbadi MIsaacs RMcIlroy R(2011)ACACM SIGPLAN Notices10.1145/2076021.204813446:10(903-920)Online publication date: 22-Oct-2011
- Show More Cited By