3 ms·
IronFleet: Proving Practical Distributed Systems Correct
- runesoerensen 11y agoHere's a link to the full research paper (PDF): http://sigops.org/sosp/sosp15/current/2015-Monterey/250-hawblitzel-online.pdf http://sigops.org/sosp/sosp15/current/2015-Monterey/250-hawb... More related resources here: https://news.ycombinator.com/item?id=10332559 https://news.ycombinator.com/item?id=10332559
- zeisss 11y agoAnd the github repo seems to be here: https://github.com/Microsoft/Ironclad https://github.com/Microsoft/Ironclad