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: 25 days 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 (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-11T12:14:15.000Z (almost 6 years ago)
• Last Synced: 2024-10-30T06:08:03.107Z (2 months ago)
• Topics: specification, tlaplus, xen
• Language: TLA
• Size: 111 KB
• Stars: 15
• Watchers: 4
• 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/