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

README.md

Files (4.6 GB)

Name Size
md5:64a4d4959934a71e3b51e34f2ae02996
4.6 GB Download
md5:f4862c6d1f730bd22cf8318e81be7c81
28.4 kB Download
md5:6985458b3f4aea8c8daf38906bacfb8c
13.9 kB Preview Download
md5:06bd32476a457615a7418f00005a55f6
1.1 MB Download
md5:904a8bc4e8a5a38dadefe9bdb38184e0
1.4 MB Preview Download