tlx
A Spark DSL for writing and verifying TLA+/PlusCal specifications, with TLC model checking, refinement, and an AI-assisted formal specification workflow
Ecosystem
hex.pm
hex.pm
Latest Release
about 1 month ago
0.5.0
about 1 month ago
Versions
9
9
Downloads
231 total
231 total
Loading...
Readme
Loading...
Links
| Registry | hex.pm |
| Source | Repository |
| Homepage | Homepage |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hex/tlx
spec |
| License | Other |
| First Release | about 2 months ago |
| Last Synced | 4 days ago |
Repository
| Stars | 8 on GitHub |
| Forks | 0 on GitHub |