FuzzTLA

Hardened testing of the TLA⁺ model checkers TLC and Apalache. The source is on GitHub.

• User manual: install FuzzTLA, run a campaign, and analyse its results.
• Developer documentation: the architecture atlas of main.