模型检验是自动检验有限状态并发系统的技术。

Model checking is a technique for automatically verifying finite-state concurrent systems.

youdao

模型检验是自动检验有限状态并发系统的技术。

Model checking is a technique for automatically verifying finite-state concurrent systems.

youdao