However, if the test must be performed in a simulated environment, the resulting system is a verified system.

但如果在模拟环境下进行测试，产生的结果系统就是一个已验证系统。

youdao

However, if the test must be performed in a simulated environment, the resulting system is a verified system.

但如果在模拟环境下进行测试，产生的结果系统就是一个已验证系统。

youdao