ConcurrentWitness2Test - SV-COMP'24 Validator Archive

There is a newer version of the record available.

Published November 9, 2023 | Version v2

Software Open

Files

Name	Size	Download all
concurrentwitness2test.zip md5:f8f2dc292e842031130d524d07689a50	27.7 MB	Preview Download

159

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

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