The GWIT Tool for SV-COMP 2024

Published October 31, 2023 | Version v1

Software Open

Files

Name	Size	Download all
val_gwit.zip md5:921de880d60a067dbad880507ef5a575	367.0 MB	Preview Download

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