Published November 15, 2023
| Version v4
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:923349cedfa3deb766854a5a6b9e03ea
|
134.7 MB | Preview Download |