IronFleet: Proving Practical Distributed Systems Correct.” (2015)

by Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R Lorch, Bryan Parno, Michael L Roberts, Srinath Setty, Brian Zill
Venue:In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP). ACM.