中英▼
go top

weakest precondition

  • 最弱前置条件

网络释义专业释义

  最弱前提

众所周知,最弱前提(Weakest Precondition)在顺序程序设计中起着重要作用。本文将为分布式程序设计提供类似的概念。

基于20个网页-相关网页

  最弱前置条件

... base course evenness 基层平整度 weakest precondition 最弱前置条件 delivery hopper 排粮斗 ...

基于12个网页-相关网页

短语

constant weakest precondition 恒最弱前置条件

partial weakest precondition 部分最弱前置条件

Dijkstra's weakest precondition method Dijkstra最弱前置谓词法

weakest liberal precondition 最弱充分前提

 更多收起网络短语
  • 最弱前置条件 - 引用次数：2

    参考来源 - 计算机辅助软件故障树建模与分析研究
  • 最弱前置条件 - 引用次数：2

    We specify a statement of failure as postcondition, expend the relative axioms and use them try to prove weakest precondition, if the proving succeed, it means that the protocol suffer from an attack.

    我们定义协议的失败条件作为后置条件，对加密系统的有关公理进行扩展，并用来对最弱前置条件进行推理证明，如果证明成功说明该协议会受到某个攻击。

    参考来源 - 加密协议的一种分析方法
  • 最弱前置条件 - 引用次数：1

    参考来源 - 稳定模糊谓词与谓词转换器
    最弱先决条件

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.

    在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定