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:8481375fc518ffdf6e93cfda1329c343 		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
716
192
views
downloads
All versions This version
Views 716157
Downloads 19238
Data volume 414.0 GB65.3 GB
Unique views 484124
Unique downloads 9028
More info on how stats are collected.
Indexed in
Publication date:
April 8, 2022
DOI:
10.5281/zenodo.6501665

Zenodo DOI Badge

DOI 

10.5281/zenodo.6501665

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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