tlx
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
Maintained on Hex by jrjsmrtn
Latest version
0.5.3
Last run
Aug 29, 2026
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | tlx-0.5.3-1787992484262 |
|
nerves_system_mangopi_mq_pro
0.17.1
|
pass | 26006519 | tlx-0.5.3-1787992484262 |
|
nerves_system_rpi4
2.1.1
|
pass | 42335574 | tlx-0.5.3-1787992484262 |
|
nerves_system_x86_64
1.34.1
|
pass | 29822253 | tlx-0.5.3-1787992484262 |
Add this badge to your README
It updates itself as tlx's compatibility is reassessed.
Markdown
HTML