netresearch/formal-model-checking
v0.1.0(MIT AND CC-BY-SA-4.0)
Bounded state models for concurrency, persistence and recovery claims, with validated counterexamples and separate implementation evidence.
scripts
- formal-model-checking
- evals/fixtures/formal-model-checking/model.py
- evals/fixtures/formal-model-checking/store.py
- evals/fixtures/formal-model-checking/test_store.py
plugin.json
- name
- formal-model-checking
- version
- 0.1.0
- description
- Bounded state models for concurrency, persistence and recovery claims, with validated counterexamples and separate implementation evidence.
- author
- Netresearch DTT GmbHhttps://www.netresearch.de
- license
- (MIT AND CC-BY-SA-4.0)
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "formal-model-checking",
"version": "0.1.0",
"description": "Bounded state models for concurrency, persistence and recovery claims, with validated counterexamples and separate implementation evidence.",
"author": {
"name": "Netresearch DTT GmbH",
"url": "https://www.netresearch.de"
},
"repository": "https://github.com/netresearch/formal-model-checking-skill",
"license": "(MIT AND CC-BY-SA-4.0)"
}
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.
- 3Python files
- 2JSON files
- openai.yaml
- 2other files