TLA+ Examples

https://github.com/tlaplus/examples

This repository provides a comprehensive collection of TLA+ specifications and models, serving as an...

Tokens:16,804
Snippets:97
Trust Score:9.3
License:MIT
Update:7 months ago
Tokens:
Raw