状态迁移描述系统相关硕士博士期刊学术论文

当前在计算机科学技术领域，模型检查技术在工业与学术界都受到越来越多的关注与应用，人们已经开发了许多模型检查器来满足各方面研发......