polikow/bully_election

Bully election algorithm model written in TLA+ and PlusCal

Language: TLA - Size: 156 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ashishnegi/learn_tlaplus

Learn TLA+ specification

Language: TLA - Size: 3.53 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Alexander-N/tlaplus-exercises

Jupyter notebook with exercises from https://learntla.com

Language: Jupyter Notebook - Size: 233 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

ArneVogel/tlaplus

Language: JavaScript - Size: 3.93 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

hengxin/tlaplus-pluscal-utils

Utilities for TLA+ and PlusCal

Language: TLA - Size: 1.22 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

dgpv/bip32_template_parse_tplaplus_spec

TLA+ specification of the parser for BIP32 path templates

Language: TLA - Size: 132 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 2

puchkovki/File-systems

Курс по Файловым системам для студентов 4-го курса ТИПИ ФПМИ, МФТИ

Language: C++ - Size: 1.04 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

hengxin/formal-methods

Formal Methods

Size: 3.65 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

hvanz/PaxosInPluscal

Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.

Language: TLA - Size: 69.3 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

fniu/specifying-systems-cn

Translation of the book Specifying Systems to Chinese.

Language: CSS - Size: 47.4 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

hengxin/cure-kvstore-tla

TLA+ Spec for the Cure Key-Value Store

Language: TeX - Size: 1.86 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

hengxin/hyperbook-tla-cn

Chinese translation of hyperbook by Leslie Lamport on TLA+

Language: TeX - Size: 25.8 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

vacp2p/formalities

Formal models of vac protocols

Language: TLA - Size: 40 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 4

konnov/apalache-blog

Using TLA+ and Apalache

Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

ac259/LamporTLA

TLA+ examples and modelling

Language: TLA - Size: 415 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

hengxin/paxosstore-tla Fork of Starydark/PaxosStore-tla

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

Language: TLA - Size: 3.71 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

skhoroshavin/tla_playground

Learning and experimenting with TLA toy models

Language: TLA - Size: 229 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

hengxin/tlaplus-examples Fork of tlaplus/Examples

A collection of TLA+ specifications of varying complexities

Language: TLA - Size: 4.57 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

flakas/tla-experiments

Experimenting with formal methods using TLA+ and Pluscal

Language: TLA - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

lirandepira/dutch-flag

The Dutch national flag problem is a partitioning problem proposed and solved by E. Dijkstra in the 1970s. The problem is solved in +CAL in TLA.

Language: TLA - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0