软件系统模型检查概要介绍
modelchecking简介的一个ppt，很实用
下载地址
用户评论
