RustHorn

May 11, 2024 ยท View on GitHub

RustHorn logo

A CHC-based Automated Verification Tool for Rust

Including materials for the paper RustHorn: CHC-based Verification for Rust Programs (ESOP 2020) and RustHorn: CHC-based Verification for Rust Programs (TOPLAS 2021).

  • rust-horn: the latest rust-horn crate
  • esop2020: materials for the ESOP 2020 paper
  • toplas2021: materials for the TOPLAS 2021 paper