Published November 2, 2023
| Version v1
Software
Open
MetaVal
Description
A validator for witnesses for automatic software verification, to be used in SV-COMP 2024
Files
val_metaval.zip
Files
(579.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:2f669d62a1c9d27ffa84eefe6fb914b6
|
579.2 MB | Preview Download |
Additional details
Related works
- Is published in
- Conference paper: 10.1007/978-3-030-53291-8_10 (DOI)