Files
tla_visualiser/examples/SimpleCounter.cfg
2025-12-27 02:59:38 +00:00

3 lines
43 B
INI

SPECIFICATION Spec
INVARIANT TypeInvariant