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

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

Last synced: 7 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2023-10-21T14:25:48.000Z (8 months ago)
• Last Synced: 2023-10-22T14:42:16.395Z (8 months ago)
• Language: TLA
• Size: 719 KB
• Stars: 70
• Watchers: 5
• Forks: 21
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-stars - muratdem/PlusCal-examples - Pluscal/TLA+ modeling of distributed systems/protocols (TLA)

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.