#formal-methods (14 Repositories)
Ranked open-source repositories tagged with #formal-methods, scored by pull request acceptance likelihood and maintainer engagement velocity.
54.8%
46.8h
14 repositories tagged #formal-methods
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
AeneasVerif/aeneas
A verification toolchain for Rust programs
AeneasVerif/charon
Analyze Rust crates without touching compiler internals
morluto/jacobian
Composable mathematics tools for agents
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
juxt/allium
The specification language that talks back
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
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.
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Gbury/mSAT
A modular sat/smt solver with proof output.
spacejam/sled
the champagne of beta embedded databases