0xh3lios/dossier
v0.2.0CC0-1.0
A toolkit for building a model of a system, checking it with formal methods and keeping it current as the system changes. An agent drafts the specification and the models, then runs the checks. TLC, Apalache and Alloy, not the agent, decide whether each property holds. You read the result from the agent's account of what the system does, written as behaviors, where each claim is tied to the evidence for and against it. You review the specification and decide what a counterexample means.
| Version | Commit | First seen | Updated |
|---|---|---|---|
| 0.2.0latest | 9f94d71bb397 | — | |
| 0.1.1 | 5f7e9b9f1804 | — |