#formal-methods (11 Repositories)
Ranked open-source repositories tagged with #formal-methods, scored by pull request acceptance likelihood and maintainer engagement velocity.
53.0%
45.7h
11 repositories tagged #formal-methods
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
AeneasVerif/aeneas
A verification toolchain for Rust programs
juxt/allium
The specification language that talks back
symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Gbury/mSAT
A modular sat/smt solver with proof output.
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
spacejam/sled
the champagne of beta embedded databases
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.