Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
youdao
应用推荐
模块上移
模块下移
不移动