Replication Package for Article 'Difference Verification with Conditions'

This replication package supports reproducing the claims of the SEFM 2020 submission
"D. Beyer, M.-C. Jakobs, and T. Lemberger: Difference Verification with Conditions".

It contains a virtual machine (VM) with all components necessary to run
https://gitlab.com/sosy-lab/research/data/difference-data
in an offline setting.

Difference verification with conditions is an incremental program
verification technique that can be integrated in software projects at any time.
It first applies a change analysis that detects which parts of a software have changed
between revisions and encodes that information in a condition.
Based on this condition, an off-the-shelf verifier is used to verify
only those parts of the software that are influenced by the changes.

VM username: sosy
VM password: sosy

The VM is intended for use with VirtualBox.
After importing `SEFM20-Difference-Verification.ova` into VirtualBox and starting it,
refer to `~/difference-data/README.md` for more information.