Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
youdao
应用推荐
模块上移
模块下移
不移动