Published July 10, 2024 | Version v1
Dataset Open

Artifact for 'Unfolding State Variables Improves Model Checking'

  • 1. ROR icon Eindhoven University of Technology

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