Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'

This is a reproduction package for the experiments that were performed as part of the work 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'.本复现包为论文《模态μ演算（Modal μ-Calculus）模型检验（Model Checking）的高效证据生成》（Efficient Evidence Generation for Modal μ-Calculus Model Checking）中所开展实验的复现包。