41,832 blogs · 5,239,565 posts Claim your blog

Record · corpus.blog/posts/01a0ffe5-0eaa-72c3-8850-309d96905c1a

IronFleet: Proving Practical Distributed Systems Correct

Adrian Colyer · published 15 October 2015

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.acolyer.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 8
Words captured: 2,206

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://research.microsoft.com/pubs/255833/IronFleet-twocol.pdf

research.microsoft.com

https://colin-scott.github.io/blog/2015/10/07/fuzzing-raft-for-fun-and-profit/

colin-scott.github.io

http://research.microsoft.com/en-us/projects/dafny/

research.microsoft.com

https://github.com/Microsoft/Ironclad/blob/master/ironfleet/src/Dafny/Distributed/Services/RSL/AbstractService.s.dfy

github.com

https://github.com/Microsoft/Ironclad/blob/master/ironfleet/src/Dafny/Distributed/Services/SHT/HT.s.dfy

github.com

https://github.com/Microsoft/Ironclad/tree/master/ironfleet/src/Dafny/Distributed/Protocol/RSL

github.com

https://github.com/Microsoft/Ironclad/tree/master/ironfleet/src/Dafny/Distributed/Protocol/SHT

github.com

http://research.microsoft.com/en-us/projects/ironclad/

research.microsoft.com

Elsewhere on blog.acolyer.org (2)

In Search of an Understandable Consensus Algorithm Read at the source ↗

blog.acolyer.org

Use of Formal Methods at Amazon Web Services Read at the source ↗

blog.acolyer.org