Published March 30, 2021
| Version v2
Software
Open
Artifact and Appendix of "RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types"
Creators
- 1. MPI-SWS
- 2. Radboud University Nijmegen
- 3. University of Cambridge
Description
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types". It contains the RefinedC tool including its Coq development and the appendix for the paper.
Files
Files
(2.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:ab09f7737f02ebc5123900bad128bb7f
|
2.8 GB | Download |