Published February 21, 2020
| Version v2
Software
Open
Replication package for the Dartagnan tool for SVCOMP 2020
- 1. University of the Bundeswehr Munich
- 2. TU Braunschweig, Braunschwei
- 3. University of Helsinki and HIIT
Description
Replication package for the Dartagnan tool for SVCOMP 2020. It contains the Verifier Archive used for the competition. This artefact accompanies the paper "Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)" in TACAS 2020.
Files
2020_dartagnan.zip
Files
(41.4 MB)
Name | Size | Download all |
---|---|---|
md5:dba5698dcbe5450defba0762b9a31aea
|
41.4 MB | Preview Download |