SYMP是什么意思

英文含义

SYMP的全称：Symbolic Model Prover | 中文意思：───符号模型证明