MetaVal is a validator for witness-based result validation. It first uses a transformer to reduce a validation task to a verification task, and then uses an off-the-shelf verifier (such as those that participate in competition SV-COMP) as backend.