liveness and safetiy properties

【文件属性】：

文件名称：liveness and safetiy properties

文件大小：75KB

文件格式：PDF

更新时间：2012-08-15 16:44:52

spin model checker promela

formal method, model checking tool, SPIN. and analisis of the properties that can be checked by SPIN. 模型检测工具SPIN，及其验证的属性分析。