Goblint at SV-COMP 2024

There is a newer version of the record available.

Published November 1, 2023 | Version svcomp24-0-gce917e639

Software Open

Goblint verifier and validator submitted to SV-COMP 2024.

Files

Name	Size	Download all
goblint-svcomp24.zip md5:c8b3b64f455e822b5a77fbd22bb2d891	23.3 MB	Preview Download

743

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more