There is a newer version of the record available.

Published March 17, 2025 | Version v1
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 (17.1 GB)

Name Size Download all
md5:1f53beb426e5245645610a992326a1d3
17.1 GB Download
md5:36e3d612216aec8fb46d7540b8fc752d
578.5 kB Preview Download
md5:d8070a5fab40fbf169d0b81741dfcb44
254.2 kB Preview Download
md5:806227a5b94b521b04eb622a9af3d34e
26.6 kB Download

Additional details

Software

Programming language
OCaml , Rust