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

Lobste.rs

24 readers
21 users here now

RSS Feed of lobste.rs

founded 1 month ago
MODERATORS
 

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