TPA公司

TPA:自动终止。TPA是一种全自动方式证明术语重写系统(TRSs)终止的工具。TPA的显著特点是支持相对终止和使用自然数语义标记技术。由于后者,TPA能够为一些其他工具都失败的困难trs提供自动终止证明。