safety property

网络释义

1.	安全性 4、安全性（safety property） property）、安全性（ 5、成本（cost）成本（cost）烟叶成本通常占卷烟成本的50以上，烟 … wenku.baidu.com
2.	安全属性但是目前验证框架仅能验证程序的安全属性（Safety Property），下一步研究将探讨在验证框架中支持活跃属性（Liveness Pro… jcst.ict.ac.cn:8080
3.	安全性属性时间时态逻辑除了可以描述安全性属性(Safety Property)和生命属性(liveness property)外，还可描述许多其它复杂的情况，例如 … www.mem.com.tw