analysis of reachability
英
美
- 可达性
双语例句
- Reachability testing is a valid method for concurrent software testing.
可达性测试是并发软件测试中的一种有效方法。 - For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
