https://github.com/talex5/spec-vchan

A TLA+ specification for the Xen vchan protocol
https://github.com/talex5/spec-vchan

specification tlaplus xen

Last synced: 4 months ago
JSON representation

A TLA+ specification for the Xen vchan protocol

• Host: GitHub
• URL: https://github.com/talex5/spec-vchan
• Owner: talex5
• License: bsd-2-clause
• Created: 2018-12-20T11:19:39.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2026-01-01T13:57:26.000Z (5 months ago)
• Last Synced: 2026-01-03T12:33:12.727Z (5 months ago)
• Topics: specification, tlaplus, xen
• Language: TLA
• Size: 379 KB
• Stars: 14
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

README

          
This repository contains a TLA+ specification for Xen vchan protocol.

See the [vchan.tla](vchan.tla) file for details.

For a gentle introduction to this spec and some background on TLA+,

see [Using TLA+ to Understand Xen Vchan][vchan-blog].

[vchan-blog]: http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/