Beast code in Giters

Zyad Hassan's repositories

fuzz and property testing front-end for Rust

Language:CMIT100

C Bounded Model Checker

Language:C++NOASSERTION100

Language:RustApache-2.0100

An implementation of the IETF QUIC protocol

Language:RustApache-2.0100

A verification toolchain for Rust programs

Language:OCamlApache-2.0000

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

Interface with the rustc compiler for the purpose of program verification

Language:RustApache-2.0000

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

Language:RustLGPL-2.1000

brew tap for CBMC

Language:Ruby000

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

Language:PythonApache-2.0000

Language:RubyMIT-0000

Kani VSCode Extension

Language:TypeScriptApache-2.0000

000

Lean models of Rust libraries

Apache-2.0000

Data for this-week-in-rust.org

000

Verifying the Rust standard library

NOASSERTION000