paralin/tla
v0.1.0MIT
Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the spec and the code together.
| Version | Commit | First seen | Updated |
|---|---|---|---|
| 0.1.0latest | 3dee8fbafa1e | — |
Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the spec and the code together.
| Version | Commit | First seen | Updated |
|---|---|---|---|
| 0.1.0latest | 3dee8fbafa1e | — |