There is a newer version of the record available.

Published March 2, 2022 | Version 1
Software Open

RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact

Authors/Creators

  • 1. University of Tokyo
  • 2. Université Paris-Saclay, CNRS, INRIA
  • 3. Université Paris-Saclay, CNRS, ENS Paris-Saclay
  • 4. MPI-SWS

Description

Artifact accompanying PLDI 2022 submission

Files

the_artifact.zip

Files (6.2 GB)

Name Size Download all
md5:7b87977a1a6b2f7889a567eb635aa895
6.2 GB Download
md5:f4862c6d1f730bd22cf8318e81be7c81
28.4 kB Download
md5:9be82718b32e35bb0c0a5e23b4da6d97
1.1 MB Download
md5:710aa618691b28224747b54cb83b29ca
1.4 MB Preview Download