MetaVal is a meta validator for witness-based results validation. The concept is to reduce the validation task to a verification task and then use a standard verifier (such as verifiers that participate in the competition SV-COMP) as backend.

Name
Last commit
Last update
.gitignore Loading commit data...
LICENSE Loading commit data...
README Loading commit data...
bundle.sh Loading commit data...
metaval.sh Loading commit data...
witness2reach.properties Loading commit data...