A TLA+ specification for the Xen vchan protocol
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
models ShutdownOK Dec 22, 2018
.gitignore Makefile and CI tests Dec 21, 2018
.travis.yml Makefile and CI tests Dec 21, 2018
COPYING Add license Jan 11, 2019
Makefile Fix a comment Dec 31, 2018
README.md Link to blog post Jan 2, 2019
vchan.tla Simplify proof of DeadlockFree1 Jan 1, 2019

README.md