@inproceedings{Amani_HCRCOBNLSTKMKH_16, address = {Atlanta, GA, USA}, author = {Amani, Sidney and Hixon, Alex and Chen, Zilin and Rizkallah, Christine and Chubb, Peter and O'Connor, Liam and Beeren, Joel and Nagashima, Yutaka and Lim, Japheth and Sewell, Thomas and Tuong, Joseph and Keller, Gabriele and Murray, Toby and Klein, Gerwin and Heiser, Gernot}, booktitle = {International Conference on Architectural Support for Programming Languages and Operating Systems}, doi = {10.1145/2872362.2872404}, month = apr, pages = {175--188}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8956.pdf}, title = {{Cogent}: Verifying High-Assurance File System Implementations}, year = {2016} }