Cloudflare’s Rust service foundations library
Cloudflare's Rust service foundations library. Contribute to cloudflare/foundations development by creating an account on GitHub. (more…)
Read more »Using the Kani Rust Verifier on a Firecracker Example
In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We … Read more