Published April 4, 2024
| Version v2
Software
Open
Artifact for "RefinedRust: A Type System for High-Assurance Verification of Rust Programs"
Authors/Creators
Description
This is the artifact for the PLDI'24 paper "RefinedRust: A Type System for High-Assurance Verification of Rust Programs". It contains the implementation of RefinedRust and Coq development formalizing the results of the paper.
Files
artifact_package.zip
Files
(4.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:e3e6ed77a905f6acb48eaf19098f6ff8
|
4.4 GB | Preview Download |