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

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

doi:10.1145/3519939.3523704

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

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

MPS-Authors

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://doi.org/10.5281/zenodo.6501665
(Supplementary material)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

3519939.3523704.pdf
(Publisher version), 372KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Matsushita, Y., Denis, X., Jourdan, J.-H., & Dreyer, D. (2022). RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code. In R. Jhala (Ed.), PLDI '22 (pp. 841-856). New York, NY: ACM. doi:10.1145/3519939.3523704.

Cite as: https://hdl.handle.net/21.11116/0000-000A-AF23-A

Abstract

There is no abstract available