Verus: Verifying Rust Programs using Linear Ghost Types -- Supplementary Material
| Title: | Verus: Verifying Rust Programs using Linear Ghost Types -- Supplementary Material |
|---|---|
| Authors: | Lattuada, Andrea; Hance, Travis; Cho, Chanhee; Brun, Matthias; Subasinghe, Isitha; Zhou, Yi; Howell, Jon; Parno, Bryan; Hawblitzel, Chris |
| Publisher Information: | Zenodo |
| Publication Year: | 2023 |
| Collection: | Zenodo |
| Description: | The supplementary material for the paper "Verus: Verifying Rust Programs using Linear Ghost Types". |
| Document Type: | software |
| Language: | unknown |
| Relation: | https://zenodo.org/records/7718498; oai:zenodo.org:7718498; https://doi.org/10.5281/zenodo.7718498 |
| DOI: | 10.5281/zenodo.7718498 |
| Availability: | https://doi.org/10.5281/zenodo.7718498; https://zenodo.org/records/7718498 |
| Rights: | Other (Open) ; other-open |
| Accession Number: | edsbas.88D294DB |
| Database: | BASE |