Distributed and resource-efficient verification for verify-rust-std

Context: Distributed and resource-efficient verification, GSoC Rust 2025

Steps

The list in very incomplete at the moment.

• Analyze kani's proofs and contracts
  • Rust Compiler Driver
  • Reuse reachability code from kani
  • Traverse calls starting from proofs and contracts
• Generate proofs that need to rerun
  • Compute difference
  • Emit JSON
• CI setup
  • Run kani
  • Run ESBMC ??

Init

git submodule update --init --recursive verify-rust-std

git submodule update --init kani
cd kani
git submodule update --init charon
cargo build-dev