|
Welcome to Apalache: symbolic model checker for TLA+ and Quint! :wave:
|
|
0
|
9
|
September 6, 2024
|
|
Using dynamic array in spec
|
|
0
|
14
|
January 26, 2025
|
|
Model-checking specification with large(ish) set of records
|
|
3
|
14
|
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
|
24
|
September 6, 2024
|