tlaplus/Examples

This is stars and forks stats for /tlaplus/Examples repository. As of 19 Apr, 2024 this repository has 1145 stars and 204 forks.

TLA+ Examples This is a repository of TLA+ specifications and models covering applications in a variety of fields. It serves as: a comprehensive example library demonstrating how to specify an algorithm in TLA+ a diverse corpus facilitating development & testing of TLA+ language tools a collection of case studies in the application of formal specification in TLA+ All TLA+ specs can be found in the specifications directory. A central manifest of specs with descriptions and accounts of their various...