ESBMC submission for the pre-run of SV-COMP'25

There is a newer version of the record available.

Published October 1, 2024 | Version v1

Software Open

Files

Name	Size	Download all
esbmc-kind.zip md5:a3709de5df7f2d3a3124f8da58e045af	44.8 MB	Preview Download

Citations

Oops! Something went wrong while fetching results.

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

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