寄存器自动机相关硕士博士期刊学术论文

摘要：形式化方法在模型为导向的软件工程中起到非常重要的作用，其中模型检验已经成为软件验证和纠错的一种重要方法，而模型学习是对于......