Pinned Repositories
aeneas
A verification toolchain for Rust programs
bolero
fuzz and property testing front-end for Rust
cbmc
C Bounded Model Checker
cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
charon
Interface with the rustc compiler for the purpose of program verification
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
homebrew-cbmc
brew tap for CBMC
kani
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
s2n-quic
An implementation of the IETF QUIC protocol
zhassan-aws's Repositories
zhassan-aws/bolero
fuzz and property testing front-end for Rust
zhassan-aws/cbmc
C Bounded Model Checker
zhassan-aws/kani
zhassan-aws/s2n-quic
An implementation of the IETF QUIC protocol
zhassan-aws/aeneas
A verification toolchain for Rust programs
zhassan-aws/cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
zhassan-aws/charon
Interface with the rustc compiler for the purpose of program verification
zhassan-aws/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
zhassan-aws/homebrew-cbmc
brew tap for CBMC
zhassan-aws/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
zhassan-aws/kani-verifier-blog
zhassan-aws/kani-vscode-extension
Kani VSCode Extension
zhassan-aws/rust-formal-methods.github.io
zhassan-aws/rust-lean-models
Lean models of Rust libraries
zhassan-aws/this-week-in-rust
Data for this-week-in-rust.org
zhassan-aws/verify-rust-std
Verifying the Rust standard library