不变式产生规则的英文翻译
中文：不变式产生规则
英文翻译：【计】 invariant generation rule