Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Published November 15, 2023 | Version v1
Software Open

MetaVal: Witness Validation via Verification (SV-COMP24)

Creators

  • 1. ROR icon Ludwig-Maximilians-Universität München

Contributors

Project leader:

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

A validator for witnesses for automatic software verification, to be used in SV-COMP 2024

Files

metaval.zip

Files (580.6 MB)

Name Size Download all
md5:fc3dd9ffd27cfbc812c0673fba402f7f
580.6 MB Preview Download