Explore Projects

Discover 5 open source projects

Active filters (1):

Search: model-checking×

Showing 1-5 of 5 projects

The P programming language, a formal methods-focused language for building distributed, event-driven systems

3.6K

Active

API Frameworks

CLI Tools

#formal-methods#distributed-systems#event-driven

Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.

3.0K

Active

Rust

Testing

API Frameworks

Rust

#model-checking#verification#rust

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+

Automatic verification of LLVM optimizations using symbolic execution and model checking

1.1K

Active

C++

CLI Tools

API Frameworks

#automatic-verification#llvm#llvm-ir

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.