Published November 14, 2022
| Version v1
Software
Open
Cerberus and CN source code for "CN: Verifying Systems C Code with Separation-Logic Refinement Types"
Authors/Creators
- 1. University of Cambridge
Description
This repository contains the source code of the Cerberus C semantics and various backends, including the CN type system.
The persons named as authors of this repository are the authors of the paper "CN: Verifying Systems C Code with Separation-Logic Refinement Types"; this repository is submitted to provide access to the CN implementation. For author/contributor and license information about the source code of Cerberus and its backends (including CN) and other files in this repository, please check the uploaded files.