Published November 20, 2023
| Version v7
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:67bef01f7a40d2d08eced8e809add849
|
134.7 MB | Preview Download |