Awesome Open Source

Programming Languages

Search results for rust model checking

model-checking x

8 search results found

Kani Rust Verifier

Tla Rust ⭐ 831

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

Fantoch ⭐ 108

framework for evaluating (planet-scale) consensus protocols

Modelator ⭐ 43

Model-based testing tool

Cargo Check Deadlock ⭐ 15

Find deadlocks in Rust code with Petri net model checking

An on-the-fly, multi-threaded ATL model checker on concurrent game structures

Stateright.github.io ⭐ 5

"Building Distributed Systems with Stateright"

A linearizability checker for concurrent data structures

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,068)

Python Rust (966)

Rust Blockchain (938)

C Plus Plus Rust (885)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.