https://github.com/hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust
https://github.com/hopv/rust-horn

Last synced: 3 months ago
JSON representation

RustHorn: A CHC-based automated verifier for Rust

• Host: GitHub
• URL: https://github.com/hopv/rust-horn
• Owner: hopv
• License: mit
• Created: 2020-02-20T05:08:09.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-05-11T14:15:20.000Z (6 months ago)
• Last Synced: 2024-05-22T20:32:38.524Z (6 months ago)
• Language: SMT
• Homepage:
• Size: 1.08 MB
• Stars: 59
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - RustHorn - 3-030-44914-8_18) - CHC-based Automated Verification Tool for Rust. (Projects / Verification)

README

        
# RustHorn



A CHC-based Automated Verification Tool for Rust

Including materials for the paper [RustHorn: CHC-based Verification for Rust Programs (ESOP 2020)](https://link.springer.com/chapter/10.1007%2F978-3-030-44914-8_18) and [RustHorn: CHC-based Verification for Rust Programs (TOPLAS 2021)](https://dl.acm.org/doi/full/10.1145/3462205).

- [rust-horn](./rust-horn): the latest `rust-horn` crate

- [esop2020](./esop2020): materials for the ESOP 2020 paper

- [toplas2021](./toplas2021): materials for the TOPLAS 2021 paper