M

MetaVal

Project information

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.

85 Commits
3 Branches
5 Tags

README
Apache License 2.0

Created on

November 21, 2019

Loading