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

#distributed #formalmethods