IronFleet: Proving Safety and Liveness of Practical Distributed Systems. - Hawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian (Communications of the ACM, 2017)