this post was submitted on 03 Nov 2024
1 points (100.0% liked)

Lobste.rs

24 readers
23 users here now

RSS Feed of lobste.rs

founded 1 month ago
MODERATORS
[email protected]
[email protected]
1
Model checking safety of Ben-Or’s Byzantine consensus with Apalache (protocols-made-fun.com)
submitted 2 days ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Apalache is a symbolic model-checker for TLA+. Comments

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here