There is a newer version of the record available.

Published March 10, 2023 | Version v1
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

examples.zip

Files (66.7 kB)

Name Size Download all
md5:b546bcfea177e78ce6d0be05ea326742
35.2 kB Preview Download
md5:9183306418eef6de901289b06ee88367
31.5 kB Preview Download