正式验证 meaning in Chinese
formal verification
Examples
- A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一种支持分布式系统的正式验证且广泛发布的软件包是用于硬件验证的时态逻辑模型检查的示例。