最弱前置条件

（计算机科学技术）

最弱前置条件（weakest precondition），计算机科学技术名词，保证一个语句执行正常结束并满足结果断言的最弱前提条件。