model-checking / verify-rust-stdLinks
Verifying the Rust standard library
☆296Updated last week
Alternatives and similar repositories for verify-rust-std
Users that are interested in verify-rust-std are comparing it to the libraries listed below
Sorting:
- ☆174Updated 7 months ago
- a model of MIR and the Rust type/trait system☆317Updated 2 months ago
- Interface with the rustc compiler for the purpose of program verification☆200Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆355Updated this week
- property testing and verification front-end for Rust☆218Updated last month
- Rust bindings for the Z3 solver.☆438Updated this week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- A framework for writing plugins that integrate with the Rust compiler☆160Updated 3 weeks ago
- A Rust verification tool☆321Updated this week
- A verification toolchain for Rust programs☆411Updated this week
- Refinement Types for Rust☆783Updated this week
- UB-free and deterministic rustc fuzzer☆90Updated 3 months ago
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Creusot helps you prove your code is correct in an automated fashion.☆1,342Updated this week
- An Extensible Compiler IR Framework☆215Updated last week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆172Updated 5 months ago
- Shuttle is a library for testing concurrent Rust code☆871Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 3 months ago
- Logic programming in Rust☆509Updated 2 weeks ago
- Library to analyze and collect metrics on source code☆354Updated 3 weeks ago
- Generating structured data from arbitrary, unstructured input.☆825Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆79Updated last year
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆986Updated last month
- The FLS☆460Updated 2 weeks ago
- SAT solver written in Rust☆275Updated 2 years ago
- Run Rust lints from dynamic libraries☆509Updated this week
- An IDE extension for debugging trait errors in Rust.☆277Updated last month
- A precise specification for "Rust lite / MIR plus"☆937Updated last month
- Execute Rust code carefully, with extra checking along the way☆451Updated 2 months ago
- A curated list of awesome Rust checkers☆51Updated 6 months ago