hopv / rust-horn Public

Notifications You must be signed in to change notification settings
Fork 0
Star 60

RustHorn: A CHC-based automated verifier for Rust

60 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
esop2020		esop2020
logo		logo
rust-horn		rust-horn
toplas2021		toplas2021
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

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

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

SMT 87.2%
Rust 9.8%
C 2.7%
Other 0.3%