SoSy-Lab Artifacts Collection

There is a newer version of the record available.

Published October 25, 2019 | Version 1.0
Software Open

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'

Creators

  • 1. LMU Munich

Description

This is a replication package for the article "Software Verification with PDR: An Implementation of the State of the Art" by Dirk Beyer and Matthias Dangl.

Files

artifact.zip

Files (1.2 GB)

Name Size Download all
md5:3504611708bafda2e91cd44e00e40422
1.2 GB Preview Download