Goblint at SV-COMP 2024

There is a newer version of the record available.

Published November 9, 2023 | Version svcomp24-0-g39b9834a0

Software Open

Goblint verifier and validator submitted to SV-COMP 2024.

Files

Name	Size	Download all
goblint.zip md5:c9e27fdb9ad8b6b2cc79bca4d13965fb	23.4 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