Artifact for "Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement"

This is the replication package for the paper "Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement". The artifact is designed for the CAV VM with Ubuntu 24.04.4 LTS: https://zenodo.org/records/19184839 There are no additional requirements, all required software is included and can be installed without internet access. All Requirements are as listed in the ReadMe: - 8 Cores - 33 GB of memory (4GB for the test run) - 40 GB or more VM disk size - Ubuntu 24.04 - Python 3 - OpenJDK 21.0.7 - BenchExec 3.27 - matplotlib SHA256 checksum: 37ec81658138b7dd325efd945ec5ff8cb3d2174911178ea77be292db731ef1a2