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 s
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
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.