stateright

Here are 3 public repositories matching this topic...

"Building Distributed Systems with Stateright"

model-checking stateright

A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite

rust aws-lambda formal-verification microvm stateright

Formal verification of Alpenglow consensus protocol for Solana using TLA+ - 604K+ states verified, 100% test pass rate

python rust blockchain consensus model-checking formal-verification tla-plus solana stateright alpenglow

To associate your repository with the stateright topic, visit your repo's landing page and select "manage topics."