Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill. IronFleet: proving practical distributed systems correct. In Ethan L. Miller, Steven Hand, editors, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015. pages 1-17, ACM, 2015. [doi]
Abstract is missing.