Zyad Hassan's repositories
aeneas
A verification toolchain for Rust programs
Language:OCamlApache-2.0000
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.
Language:PythonApache-2.0000
charon
Interface with the rustc compiler for the purpose of program verification
Language:RustApache-2.0000
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:RustLGPL-2.1000
homebrew-cbmc
brew tap for CBMC
Language:Ruby000
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
Language:PythonApache-2.0000
Language:RubyMIT-0000
kani-vscode-extension
Kani VSCode Extension
Language:TypeScriptApache-2.0000
rust-lean-models
Lean models of Rust libraries
Apache-2.0000
this-week-in-rust
Data for this-week-in-rust.org
000
verify-rust-std
Verifying the Rust standard library
NOASSERTION000