术语词典

自动化定理证明

形式化验证中用于判断合约规范与特性是否成立的一类自动化检查方法。