1. 3
    Model checking safety of Ben-Or’s Byzantine consensus with Apalache ☶ distributed formalmethods protocols-made-fun.com
    ahelwer avatar via ahelwer 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Apalache is a symbolic model-checker for TLA+.