CPV: A circuit-based program verifier for C

There is a newer version of the record available.

Published November 1, 2023 | Version 0.1-10-ge25b2ab

Software Open

Files

Name	Size	Download all
cpv-0.1-10-ge25b2ab.zip md5:5cd15d628dcc5d2752cf3c4fb5f0c584	43.9 MB	Preview Download

Views

487

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more