行为验证
Behavioral verification
以上为机器翻译结果，长、整句建议使用 人工翻译 。
本文在并发行为验证方面进行了探讨。
This paper discusses some issues of verification for concurrent behaviors.
youdao
但是与以前一样，有很多我们可能想去验证的具体行为。
But as before, there are a number of concrete behaviors that we would like to verify.
应用推荐
模块上移
模块下移
不移动