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 |