@inproceedings{Andronick_LMMR_16, address = {Nancy, France}, author = {Andronick, June and Lewis, Corey and Matichuk, Daniel and Morgan, Carroll and Rizkallah, Christine}, booktitle = {International Conference on Interactive Theorem Proving}, editor = {{Jasmin Christian Blanchette and Stephan Merz}}, month = aug, pages = {52--68}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9261.pdf}, publisher = {Springer}, title = {Proof of {OS} scheduling behavior in the presence of interrupt-induced concurrency}, year = {2016} }