constant weakest pre-condition

constant weakest pre-condition是什么意思、constant weakest pre-condition怎么读
【计】 恒最弱前置条件

constant weakest pre-condition汉语翻译

【计】 恒最弱前置条件