Published November 18, 2023
| Version v6
Software
Open
Replication package for the Dartagnan tool for SVCOMP 2024
Authors/Creators
- 1. TU Braunschweig
- 2. Huawei Dresden Research Center
Description
Replication package for the Dartagnan tool for SVCOMP 2024. It contains the Verifier Archive used for the competition.
Files
dartagnan.zip
Files
(134.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:053df3fd8ac50ff61bbef61118626cb8
|
134.7 MB | Preview Download |