公平性约束下基于抽象和推理的活性验证的中期报告

公平性约束下基于抽象和推理的活性验证的中期报告本报告旨在介绍在公平性约束下，基于抽象和推理的活性验证的研究进展情况。活性验证是指验证一个系统是否满足其设计要求，其中“活性”表示系统正在执行。在实际应用