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:b08a13f7513886bddb037a2d93bba8bc 		4.1 GB Download
LICENSE
md5:f4862c6d1f730bd22cf8318e81be7c81 		28.4 kB Download
README.md
md5:6985458b3f4aea8c8daf38906bacfb8c 		13.9 kB Download
the_artifact.tgz
md5:5a94cebaab5be302c60d47763905d071 		1.1 MB Download
the_artifact.zip
md5:6cbe155279d1eeb4cf2f524c2c4fc695 		1.4 MB Download
705
192
views
downloads
All versions This version
Views 70555
Downloads 19217
Data volume 414.0 GB16.5 GB
Unique views 47340
Unique downloads 907
More info on how stats are collected.
Indexed in
Publication date:
March 2, 2022
DOI:
10.5281/zenodo.6416090

Zenodo DOI Badge

DOI 

10.5281/zenodo.6416090

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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