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
BibTeX Export
@software{matsushita_yusuke_2022_6426048,
author = {Matsushita, Yusuke and
Denis, Xavier and
Jourdan, Jacques-Henri and
Dreyer, Derek},
title = {{RustHornBelt: A Semantic Foundation for Functional
Verification of Rust Programs with Unsafe Code,
Artifact}},
month = apr,
year = 2022,
publisher = {Zenodo},
version = 1,
doi = {10.5281/zenodo.6426048},
url = {https://doi.org/10.5281/zenodo.6426048}
}
705
192
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 705 | 141 |
| Downloads | 192 | 54 |
| Data volume | 414.0 GB | 147.0 GB |
| Unique views | 473 | 117 |
| Unique downloads | 90 | 16 |
Indexed in
- Publication date:
- April 8, 2022
- DOI:
-
- License (for files):
- Other (Open)