反例路径相关论文
近年来,软件应用在工业、农业、军事、科研等领域有了更加广泛的应用。随着应用的更广泛,代码规模的增大、软件系统的复杂度提高、......
针对模型检测中的状态空间爆炸问题,提出一种基于带资源消耗的复杂概率迁移系统模型的性质验证方法。使用PRCTL进行模型语义逻辑表......