# content
IronFleet: proving practical distributed systems correct (via aiono) — discussion

#formalmethods #video