Published October 29, 2025
| Version v1
Dataset
Open
TACAS'26 Artifact for Massively Parallel Verification with Bitwuzla and Mallob
-
1.
Karlsruhe Institute of Technology
- 2. Stanford University
Description
This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper "Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob" submitted to TACAS'26. Please refer to the Readme.md for further instructions.
Files
paper.pdf
Files
(2.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b3f46cd0b31fa520112e7006a186c83b
|
1.4 MB | Preview Download |
|
md5:16bdd3c97c30ab091d9b3270e38667bf
|
2.5 GB | Preview Download |