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