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

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
723
192
views
downloads
All versions This version
Views 723156
Downloads 19254
Data volume 414.0 GB147.0 GB
Unique views 491132
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