https://github.com/muratdem/PlusCal-examples

Pluscal/TLA+ modeling of distributed systems/protocols
https://github.com/muratdem/PlusCal-examples

Last synced: 12 days ago
JSON representation

Pluscal/TLA+ modeling of distributed systems/protocols

• Host: GitHub
• URL: https://github.com/muratdem/PlusCal-examples
• Owner: muratdem
• Created: 2016-12-13T11:31:01.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2023-10-21T14:25:48.000Z (about 1 year ago)
• Last Synced: 2024-08-01T16:31:29.408Z (3 months ago)
• Language: TLA
• Size: 719 KB
• Stars: 78
• Watchers: 4
• Forks: 20
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## Synopsis

This project includes several examples of Pluscal/TLA+ modeling of distributed systems/protocols.

Also see https://github.com/muratdem/HLC for Hybrid Clocks modeling.

For more examples and reading on Pluscal/TLA+, [you can check my blog] (http://muratbuffalo.blogspot.com)

[This directs you to the blog posts about Pluscal/TLA+.]

(http://muratbuffalo.blogspot.com/search/label/tla)

## Installation

To run these Pluscal/TLA+ models, you need the TLA+ toolkit, available at

http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html

## Contributors

@muratdem

## License

MIT license.