principles of the spin model checker

上传：1144899761 浏览： 20 推荐： 0 文件：PDF 大小：195.03KB 上传时间：2019-06-22 00:08:57 版权申诉

介绍模型检查工具spin的基本概念以及相应机制