Awesome Open Source

Programming Languages

Search results for rust formal verification

formal-verification x

11 search results found

Prusti Dev ⭐ 1,409

A static verifier for Rust, based on the Viper verification infrastructure.

Creusot ⭐ 823

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Creusat ⭐ 563

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A Fast and Safe Python based on PyPy

Awesome Rust Formalized Reasoning ⭐ 246

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Hacspec ⭐ 230

A specification language for cryptography primitives.

Coq Of Rust ⭐ 83

Formal verification for Rust 🦀 by translation to the proof system Coq 🐓

A verification toolchain for Rust programs

A Rust verification tool

Interface with the rustc compiler for the purpose of program verification

Ace Riscv ⭐ 14

Assured Confidential Execution (ACE) for RISC-V

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,068)

Python Rust (966)

Rust Blockchain (938)

C Plus Plus Rust (885)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.