@inproceedings{Greenaway_LAK_14, address = {Edinburgh, UK}, author = {Greenaway, David and Lim, Japheth and Andronick, June and Klein, Gerwin}, booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation}, doi = {10.1145/2594291.2594296}, keywords = {c verification; isabelle/hol}, month = jun, pages = {429--439}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/7629.pdf}, publisher = {ACM}, title = {Don't Sweat the Small Stuff: Formal Verification of {C} Code Without the Pain}, year = {2014} }