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

TL;DR: write a test harness using bolero, get fuzz tests and a formal proof

Bolero is a property-testing framework that allows users to test Rust code with multiple fuzzing engines. Interesting, right? In our latest post, we discuss the integration of Kani, our open-source formal verification tool for Rust, in the Bolero framework.