Correctness Proofs for Device Drivers in Embedded Systems

@inproceedings {267116,
author = {Jianjun Duan and John Regehr},
title = {Correctness Proofs for Device Drivers in Embedded Systems},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/correctness-proofs-device-drivers-embedded-systems},
publisher = {USENIX Association},
month = oct
}