Replication package for the Dartagnan tool for SVCOMP 2025

Published November 11, 2024 | Version v7

Software Open

Replication package for the Dartagnan tool for SVCOMP 2025. It contains the Verifier Archive used for the competition.

Files

Name	Size	Download all
dartagnan.zip md5:d75325faed6e2c169fc8db1c468d6ccb	65.1 MB	Preview Download

123

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more