model-checking / rust-lean-modelsLinks
Lean models of Rust libraries
☆19Updated last year
Alternatives and similar repositories for rust-lean-models
Users that are interested in rust-lean-models are comparing it to the libraries listed below
Sorting:
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆113Updated this week
- Interface with the rustc compiler for the purpose of program verification☆190Updated this week
- Definition of the Viper intermediate verification language.☆89Updated this week
- Rewrite Rule Inference Using Equality Saturation☆136Updated 3 months ago
- ☆46Updated 3 weeks ago
- Cerberus C semantics☆69Updated last month
- A minimal development of SSA theory☆175Updated last week
- An awesome list of e-graph resources☆233Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated last month