IronFleet: Proving Practical Distributed Systems Correct (2015)

3 points by nextos

mdaniel

The goods https://github.com/Microsoft/Ironclad (MIT) and this seems to need a (2015) qualifier on it