There is a newer version of this record available.

Software Open Access

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

Matsushita, Yusuke; Denis, Xavier; Jourdan, Jacques-Henri; Dreyer, Derek

Artifact accompanying PLDI 2022 submission

Files (4.1 GB)
Name Size
artifact.ova
md5:3b72caa3dd4f21a5044e8726dd973c66 		4.1 GB Download
LICENSE
md5:f4862c6d1f730bd22cf8318e81be7c81 		28.4 kB Download
README.md
md5:acfa45fbc0df5699e29a783457cb72cd 		15.7 kB Download
the_artifact.tgz
md5:9e42ca3180fcc53cfe1cefbdbae7f497 		1.1 MB Download
the_artifact.zip
md5:cad29ed9a9983c970a2750f6c60e21aa 		1.4 MB Download
670
192
views
downloads
All versions This version
Views 670126
Downloads 19254
Data volume 414.0 GB147.0 GB
Unique views 443104
Unique downloads 9016
More info on how stats are collected.
Indexed in
Publication date:
April 8, 2022
DOI:
10.5281/zenodo.6426048

Zenodo DOI Badge

DOI 

10.5281/zenodo.6426048

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg)](https://doi.org/10.5281/zenodo.6426048)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg
   :target: https://doi.org/10.5281/zenodo.6426048

HTML 

<a href="https://doi.org/10.5281/zenodo.6426048"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg

Target URL 

https://doi.org/10.5281/zenodo.6426048

License (for files):
Other (Open)

Versions

Version 10 10.5281/zenodo.6501665 Apr 8, 2022
Version 1 10.5281/zenodo.6426048 Apr 8, 2022
Version 1 10.5281/zenodo.6417462 Mar 2, 2022
Version 1 10.5281/zenodo.6416090 Mar 2, 2022
Version 1 10.5281/zenodo.6415050 Mar 2, 2022
View all 10 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6323378. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export