Materials for the paper RustHorn: CHC-based Verification for Rust Programs (ESOP 2020).
- rust-horn: RustHorn implementation used for the experiments
- benchmarks: Benchmarks and experimental results
- Rust Compiler:
rustc 1.43.0-nightly (e620d0f33 2020-02-18) - Spacer:
z3 4.8.7 - HoIce:
hoice 1.8.1;z3 4.7.1is used as a backend SMT solver to deal well with recursive data types - SeaHorn:
seahorn 0.1.0-rc3in Docker'sseahorn/seahorn