hopv / rust-horn

RustHorn: A CHC-based automated verifier for Rust

RustHorn

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

About

RustHorn: A CHC-based automated verifier for Rust

MIT License

Languages

Language:SMT 87.2%Language:Rust 9.8%Language:C 2.7%Language:Java 0.2%Language:Makefile 0.1%Language:Shell 0.0%