Giters

ac259 / LamporTLA

TLA+ examples and modelling

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tlaplusdistributed-systemsmodelling-distributed-systemsleslie-lamport

TLA+ PlusCal

Model Checking using TLA+ and PlusCal.

About

TLA+ examples and modelling

tlaplusdistributed-systemsmodelling-distributed-systemsleslie-lamport

Languages

Language:TLA 100.0%