形式验证主要包括等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）和定理证明（Theory Prover）。 等价性检查主要用在后端流程中。
基于24个网页-相关网页
theory prover
理论验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动