Explore Projects

Discover 3 open source projects

Active filters (1):

Search: tlaplus×

Showing 1-3 of 3 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

Get weekly updates on trending AI coding tools and projects.