Explore Projects

Discover 4 open source projects

Active filters (1):

Search: tla×

Showing 1-4 of 4 projects

TLC is a model checker for specifications written in TLA+, a formal specification language.

2.6K

Active

Java

IDE Extensions

Testing

#model-checking#formal-verification#TLA+

A collection of TLA+ specifications for developers interested in formal methods and verification.

1.5K

Active

TLA

CLI Tools

Tutorials & Courses

#formal-methods#verification#specification

Quint is a formal specification language with delightful tooling for building verified software systems.

1.2K

Active

TypeScript

CLI Tools

API Frameworks

TypeScript

#formal-methods#specification#verification

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

1.1K

Archived

TLA

API Frameworks

Testing

Rust

#distributed#lock-free#model-checking

Get weekly updates on trending AI coding tools and projects.