模型检测技术的发展研究_杨茜茜1

【文件属性】：

文件名称：模型检测技术的发展研究_杨茜茜1

文件大小：1.04MB

文件格式：PDF

更新时间：2022-08-03 16:41:18

摘要模型检测（modelchecking）是一种能够自动验证有限状态并发系统的技术。该文从模型检测技术的背景入手 ，先阐述了模型检测技术基本原理及其相关过程。而