Topic | Replies | Views | Activity | |
---|---|---|---|---|
Welcome to Apalache: symbolic model checker for TLA+ and Quint! :wave: | 0 | 7 | September 6, 2024 | |
Model-checking specification with large(ish) set of records | 0 | 1 | December 6, 2024 | |
"Chat" link on apalache-mc.org | 1 | 9 | November 7, 2024 | |
Bounded-scope generators | 0 | 6 | October 3, 2024 | |
Example: trying to run `apalache-mc check` on `CoffeeCan.tla` | 1 | 17 | September 6, 2024 |