Published March 30, 2021
| Version v1
Software
Open
Artifact and Appendix of "RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types"
Authors/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
(3.0 GB)
| Name | Size | |
|---|---|---|
|
md5:b72332beabda52087384b0ece7fd25a4
|
3.0 GB | Download |