Published March 2, 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.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:6baf73b03ac369f6a687357b450f7f8f
|
4.2 GB | Download |
|
md5:f4862c6d1f730bd22cf8318e81be7c81
|
28.4 kB | Download |
|
md5:6985458b3f4aea8c8daf38906bacfb8c
|
13.9 kB | Preview Download |
|
md5:5a94cebaab5be302c60d47763905d071
|
1.1 MB | Download |
|
md5:6cbe155279d1eeb4cf2f524c2c4fc695
|
1.4 MB | Preview Download |