protocols-made-fun.com: 3 stories from 3 submitters

  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
  2. 5
    Why I use TLA+ and not(TLA+) formalmethods protocols-made-fun.com
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 2
    Specification and Model-checking of the ZKsync Governance Protocol cryptography formalmethods security protocols-made-fun.com
    bugarela avatar via bugarela 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments