自动验证技术相关硕士博士期刊学术论文

模型检查是一种重要的自动验证技术,是通过显式的状态搜索和隐式不动点计算来验证并行系统的性质,以保证设计的正确性.该文主要研......