Published November 26, 2023
| Version 2.0
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
WitnessLint-2.0.zip
Files
(38.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f4b082723ff767eae38ee143663b313e
|
38.2 kB | Preview Download |