ESBMC-kind and ESBMC-incr submission for the TEST-COMP'25

Published December 9, 2024 | Version v10

Software Open

Files

Name	Size	Download all
esbmc-testcomp.zip md5:d05c0e6a8464389ca7e5970657f17f4f	50.1 MB	Preview Download

195

Views

107

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