MetaVal

Project information

Project ID: 15456380

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.

247 Commits
5 Branches
5 Tags

README
Apache License 2.0

Created on

November 21, 2019