IronFleet: proving safety and liveness of practical distributed systems

Open Webpage

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill

Published: 2017, Last Modified: 26 Jan 2026Commun. ACM 2017EveryoneRevisionsBibTeXCC BY-SA 4.0