Published April 16, 2025 | Version v4
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 PLDI'25 paper "A Hybrid Approach to Semi-Automated Rust Verification"

Files

hybrid-rust-verif.zip

Files (5.4 GB)

Name Size
md5:3a54021d059f379ef3830d5c504ec822
5.4 GB Download
md5:1ce5d319b09bb398e53c37088888bb73
461.5 kB Preview Download
md5:859ff7f215e1ba7d2249a81bfb48c2a4
262.1 kB Preview Download
md5:e5445b38ffe04085930f681be7a62459
30.0 kB Download

Additional details

Software

Programming language
OCaml , Rust