并发程序验证数据集

该测试集包含21个有效测试用例，这些测试用例来源于SV-COMP 2024并发程序验证基准集与Nidhugg并发程序缺陷检测基准集的典型用例，筛选标准为经Yogar-CBMC工具验证耗时3-600秒的用例。通过对每个测试用进行增删改操作，每个用例都对应v0、v1、v2、v3四个迭代版本。通过该数据集可以验证工具是否支持增量式验证，以及增量式验证的效果。