@inproceedings{hawblitzel-2015-ironfleet, series={SOSP ’15}, title={IronFleet: proving practical distributed systems correct}, url={http://dx.doi.org/10.1145/2815400.2815428}, DOI={10.1145/2815400.2815428}, booktitle={Proceedings of the 25th Symposium on Operating Systems Principles}, publisher={ACM}, author={Hawblitzel, Chris and Howell, Jon and Kapritsos, Manos and Lorch, Jacob R. and Parno, Bryan and Roberts, Michael L. and Setty, Srinath and Zill, Brian}, year={2015}, month=Oct, pages={1–17}, collection={SOSP ’15} }