@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 }