Published November 20, 2023
| Version Version 1.4-dev
Software
Open
Witness Linter (SV-Comp 2024)
Authors/Creators
-
1.
Ludwig-Maximilians-Universität München
Description
Linter for Verification Witnesses in its version for SV-COMP24
Files
val_witnesslint.zip
Files
(38.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c99c6116f1f59abaab086a162de413bc
|
38.6 kB | Preview Download |