Witness Linter (SV-Comp 2024)

There is a newer version of the record available.

Published November 15, 2023 | Version Version 1.4-dev

Software Open

Files

Name	Size	Download all
val_witnesslint.zip md5:1cc6e60deb39ec3d7df69eb11e2c8096	33.1 kB	Preview Download

Citations

Oops! Something went wrong while fetching results.

218

Views

119

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more