There is a newer version of the record available.

Published April 8, 2022 | Version 1
Software Open

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

  • 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.1 GB)

Name Size Download all
md5:3b72caa3dd4f21a5044e8726dd973c66
4.1 GB Download
md5:f4862c6d1f730bd22cf8318e81be7c81
28.4 kB Download
md5:acfa45fbc0df5699e29a783457cb72cd
15.7 kB Preview Download
md5:9e42ca3180fcc53cfe1cefbdbae7f497
1.1 MB Download
md5:cad29ed9a9983c970a2750f6c60e21aa
1.4 MB Preview Download