# content
IronFleet: Proving Practical Distributed Systems Correct (via nextos) — discussion

#distributed #formalmethods #pdf