IronFleet: Proving Practical Distributed Systems Correct [pdf]research.microsoft.com2 points·pron··0 commentsOpen articleSaveView on HN