Pinned Loading

1. PaxosStore-tla PaxosStore-tla Public

   Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

   TLA 21 5

2. Examples Examples Public

   Forked from tlaplus/Examples

   A collection of TLA+ specifications of varying complexities

   TLA

3. tlaplus tlaplus Public

   Forked from tlaplus/tlaplus

   TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java

4. tlaplus-lamport-projects tlaplus-lamport-projects Public

   Forked from hengxin/tlaplus-hfwei

   Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

   TeX