Published July 10, 2024
| Version v1
Dataset
Open
Artifact for 'Unfolding State Variables Improves Model Checking'
Description
This is a reproduction package for the experiments that were performed as part of the work 'Unfolding State Variables Improves Model Checking'.
Files
lpsparunfold_Experiments.zip
Files
(10.9 MB)
Name | Size | Download all |
---|---|---|
md5:ffb8150408200b01e3af9bef854377ae
|
10.9 MB | Preview Download |