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