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-horncrate - esop2020: materials for the ESOP 2020 paper
- toplas2021: materials for the TOPLAS 2021 paper