progscrape: model-checking.github.io

Function Contracts for Kani

9 months ago model-checking.github.io formalmethods rust

Using Kani to Validate Security Boundaries in AWS Firecracker

14 months ago model-checking.github.io aws formalmethods rust security virtualization

How s2n-quic uses Kani to inspire confidence

18 months ago model-checking.github.io formalmethods rust testing

Writing Code with ChatGPT? Improve it with Kani

18 months ago model-checking.github.io ai chatgpt formalmethods gpt rust

How Kani helped find bugs in Hifitime

20 months ago model-checking.github.io formalmethods rust science testing

Kani verifier now supports stubbing...

20 months ago model-checking.github.io rust

From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework

2 years ago model-checking.github.io

Using the Kani Rust Verifier on Tokio Bytes

2 years ago model-checking.github.io rust

Using the Kani Rust Verifier on a Firecracker Example

2 years ago model-checking.github.io rust

Using the Kani Rust Verifier on a Rust Standard Library CVE

2 years ago model-checking.github.io rust

Announcing the Kani Rust Verifier Project

2 years ago model-checking.github.io rust

Kani Rust Verifier – a bit-precise model-checker for Rust

2 years ago model-checking.github.io rust