Published March 10, 2023
| Version v2
Software
Open
Verus: Verifying Rust Programs using Linear Ghost Types -- Supplementary Material
Authors/Creators
- 1. VMware Research
- 2. Carnegie Mellon University
- 3. ETH Zurich
- 4. UNSW Sydney
- 5. Microsoft Research
Description
The supplementary material for the paper "Verus: Verifying Rust Programs using Linear Ghost Types".
Files
supplementary-material.zip
Files
(61.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:cb3c008db568dd9f8e7f60ac22d0a48e
|
61.0 kB | Preview Download |