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.
scripts
- tla
- tools/check.mjs
- tools/update-tla-ts.sh
plugin.json
- name
- tla
- version
- 0.1.0
- description
- 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.
- author
- Christian Stewartchristian@cjs.zip
- license
- MIT
- repository
- https://github.com/paralin/tla-skill
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "tla",
"version": "0.1.0",
"description": "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.",
"author": {
"name": "Christian Stewart",
"email": "christian@cjs.zip"
},
"homepage": "https://github.com/paralin/tla-skill",
"repository": "https://github.com/paralin/tla-skill",
"license": "MIT",
"keywords": ["tla", "tla+", "tla-ts", "model-checking", "formal-verification", "concurrency", "state-machines"]
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- check.mjs
- update-tla-ts.sh
- 3JSON files
- Worker.cfg
- 8other files