yuxuandexter/vstack
v0.1.0MIT
Formal verification workflows for concurrent, distributed and systems software.
plugin.json
- name
- vstack
- version
- 0.1.0
- description
- Formal verification workflows for concurrent, distributed and systems software.
- author
- Hao AI Lab (Yuxuan Zhang, Yichao Fu, Minshen Zhang)
- license
- MIT
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "vstack",
"version": "0.1.0",
"author": {
"name": "Hao AI Lab (Yuxuan Zhang, Yichao Fu, Minshen Zhang)"
},
"license": "MIT",
"description": "Formal verification workflows for concurrent, distributed and systems software.",
"keywords": [
"vstack",
"formal-verification",
"tla-plus",
"model-checking",
"proof",
"trace-conformance"
]
}
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.
- LICENSE