MetaVal 2 SV-COMP 2026 Submission

Published December 2, 2025 | Version 2.0.0-dev-0245e0cf

Software Open

Files

Name	Size
metaval-2.0.0-dev-0245e0cf.zip md5:c6c4389a54823347b9b084087a15f4b4	327.8 MB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more