There is a newer version of the record available.

Published March 19, 2025 | Version v2
Software Open

Artifact: A hybrid approach to semi-automated Rust verification

Authors/Creators

  • 1. ROR icon Imperial College London
  • 2. EDMO icon ETH Zürich
  • 3. Nethermind

Description

Artifact for the PLDI25 paper A hybrid approach to semi-automated Rust verification

Files

hybrid-rust-verif.zip

Files (5.4 GB)

Name Size Download all
md5:af2aa8f78f96573be5d80d63d73c319f
5.4 GB Download
md5:1ce5d319b09bb398e53c37088888bb73
461.5 kB Preview Download
md5:d57d70b645871fc1e8a14c966bb79708
254.6 kB Preview Download
md5:84fa261808ab65792bd9b74e3ab2a582
26.6 kB Download

Additional details

Software

Programming language
OCaml , Rust