Search Results - RepositoryStats

tlaplus tlaplus

208

2.4k

mit

51

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

tla java algorithms mit-license verification model-checking specifications high-performance

Created 2016-02-02

8,586 commits to master branch, last one 3 days ago

sqa-wiki ligurio

409

2.3k

other

263

My own notes (drafts mostly) about software quality

tla ebooks courses testing learning verification formal-methods model-checking software-testing quality-assurance

Created 2014-05-12

367 commits to master branch, last one 2 years ago

tla-rust spacejam

27

1.1k

unknown

43

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

tla rust lock-free distributed model-checking

Created 2017-03-02

33 commits to master branch, last one 7 years ago

BlockingQueue lemmy

22

491

mit

11

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

tla fifo java tlaps tlaplus fifo-queue specification model-checking

Created 2019-11-06

41 commits to main branch, last one 4 months ago

apalache apalache-mc

42

454

apache-2.0

6

APALACHE: symbolic model checker for TLA+ and Quint

smt tla quint tlaplus apalache verification model-checking

Created 2015-07-03

6,432 commits to main branch, last one 2 months ago

vscode-tlaplus tlaplus

37

368

mit

11

TLA+ language support for Visual Studio Code

tla tlc pluscal verification specification formal-methods model-checking vscode-extension

Created 2019-07-14

693 commits to master branch, last one 3 days ago

learntla-v2 hwayne

44

210

other

14

Learn TLA+ for free! No prior experience necessary!

tla book tlaplus formal-methods formal-verification formal-specification

Created 2022-01-27

180 commits to master branch, last one 6 days ago

fizzbee fizzbee-io

12

197

apache-2.0

6

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

ltl tla alloy prism pluscal tlaplus tla-plus alloy-analyzer formal-methods formal-languages formal-verification

Created 2024-03-26

138 commits to main branch, last one 5 days ago

pgo DistCompiler

14

176

apache-2.0

17

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

go pgo tla scala pluscal compiler distributed-systems

Created 2018-01-17

1,931 commits to main branch, last one 4 months ago

tla-bin pmer

24

171

mit

11

Command line binaries for the TLA+ language

tla mit-license verification specification model-checking

Created 2017-05-25

24 commits to master branch, last one about a year ago

tlaplus_jupyter kelvich

8

120

bsd-3-clause

7

Jupyter kernel for TLA⁺

tla jupyter-kernel model-checking

Created 2019-07-11

92 commits to master branch, last one 2 years ago

PlusPy tlaplus

13

113

mit

10

Python interpreter for TLA+ specifications

tla python interpreter

Created 2020-04-13

35 commits to master branch, last one 9 months ago

ProjectKorra ProjectKorra

136

100

unknown

21

The Official Plugin for ProjectKorra.

tla korra avatar plugin spigot bending minecraft projectkorra hacktoberfest spigot-plugin

Created 2014-06-12

2,183 commits to master branch, last one 12 days ago

spectacle will62794

7

100

mit

4

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

tla tlaplus verification visualization formal-methods model-checking formal-specification

Created 2021-11-24

1,113 commits to master branch, last one 3 days ago

modelator informalsystems

5

55

apache-2.0

24

Model-based testing tool

tla rust tlaplus model-checking model-based-testing

Created 2021-01-21

446 commits to dev branch, last one 11 days ago

lets-prove-blocking-queue lemmy

5

43

cc0-1.0

5

Proving a blocking queue deadlock free in a dozen different ways

tla proof tlaplus algorithm concurrency deadlock-freedom

Created 2020-02-20

7 commits to master branch, last one 4 months ago