《表3 部分验证属性和验证结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于SSM-HAZOP的自主化ATP等级转换功能建模与验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

基于C2/C3转换的SSM网络模型和HAZOP安全属性，使用SCADE DV对C2/C3转换模型进行形式化验证，结果有效，表明该模型满足预期的安全属性。部分验证属性和验证结果如表3所示。