Verify Rust Code

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Easily verify your Rust in CI with Kani and Github Actions

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

References¶

• kani @ GitHub

• Easily verify your Rust in CI with Kani and Github Actions

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

• Rust Verification Tools

• Rust verification tools

• SeaHorn is an automated analysis framework for LLVM-based languages.

• This is a static simulator for Rust programs. It runs a set of test cases and attempts to prove that all assertions pass on all valid inputs.