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.