Tag
7 repositories
Kani Rust Verifier
A Python-like programming language for testing and experimenting with concurrent programs.
Experimental Smart Contracts In Plutus.
A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
Reusable Kani verification primitives and harnesses for Solana programs.
Formal verification of Alpenglow consensus protocol for Solana using TLA+ - 604K+ states verified, 100% test pass rate
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.