模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。

Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.

youdao

模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。

Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.

youdao