Property verification is carried out using theorem proving systems.

• 特性验证使用定理求证系统来实现。