随笔分类 -  模型检测

记录MC领域论文阅读情况
Model checking模型检测应用于实际系统或者实际软件中的瓶颈、挑战
摘要：模型检测在实际系统或实际软件中的瓶颈或者挑战到底是什么呢？ 阅读全文
posted @ 2020-08-04 19:00 啊哈03 阅读(455) 评论(0) 推荐(0)