Published November 16, 2023
| Version v5
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:15c51ae571a8783372862384a1230eae
|
134.7 MB | Preview Download |