Artifact for 'Unfolding State Variables Improves Model Checking'

This is a reproduction package for the experiments that were performed as part of the work 'Unfolding State Variables Improves Model Checking'.本复现包用于复现作为该研究工作《展开状态变量可改进模型检验（Model Checking）》（Unfolding State Variables Improves Model Checking）的一部分所开展的各项实验。