Published November 1, 2023
| Version v1
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
(121.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:2618221a39ba4cb22a564a8c4831d7f8
|
121.0 MB | Preview Download |