Model checking safety of Ben-Or’s Byzantine consensus with Apalache (via ahelwer) — discussion
#distributed #formalmethods
