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