时态逻辑的英文

• temporal logic
• tense logic

• "时态"英文翻译    tense
• "逻辑"英文翻译    logic
• "时态逻辑语言" 英文翻译 :    tense logic language; tense-logic language
• "一组时态逻辑" 英文翻译 :    first-order temporal logic
• "分支时间时态逻辑" 英文翻译 :    branching time temporal logic
• "时序逻辑, 时态逻辑, 暂时逻辑" 英文翻译 :    temporal logic
• "基于线性时态逻辑语言" 英文翻译 :    ltl
• "模态逻辑 模态逻辑学" 英文翻译 :    modallogic
• "动态逻辑" 英文翻译 :    dynamic logic
• "多态逻辑" 英文翻译 :    multistate logic; multistratum control
• "共态逻辑" 英文翻译 :    cml common mode logic
• "共态逻辑（电路）" 英文翻译 :    cml common mode logic
• "静态逻辑" 英文翻译 :    static logic
• "模态逻辑" 英文翻译 :    logic of modality; modal length; modal logic; modality logics; model logic
• "模态逻辑学" 英文翻译 :    modal logic
• "情态逻辑" 英文翻译 :    modal logic
• "三态逻辑" 英文翻译 :    logic, tristate; three state logic; three-state logic; tri state logic; tristate logic; tsl three state logic
• "状态逻辑" 英文翻译 :    logic state; phase logic; state logic
• "动态逻辑电路" 英文翻译 :    dynamic logic circuit
• "固态逻辑技术" 英文翻译 :    solid logic technology
• "基本模态逻辑" 英文翻译 :    basic modal logic
• "集成固态逻辑" 英文翻译 :    integrated solid state logic
• "静态逻辑冒险" 英文翻译 :    static logic hazard
• "命题动态逻辑" 英文翻译 :    pdl
• "模态逻辑手册" 英文翻译 :    handbook of modal logic

• Preventing common bugs with temporal logic assertions
  用时态逻辑断言防止常见错误
• Temporal logic can help make these assertions
  时态逻辑可以帮助产生这些断言。
• Assertions and temporal logic in java programming
  Java编程中的断言和时态逻辑
• Introduce temporal logic to assertions to supplement testing
  将时态逻辑引入断言来补充测试
• Temporal logic assertions can help to diagnose such bugs
  时态逻辑可以有助于诊断此类错误。
• Listing 1 shows some examples of temporal logic assertions
  清单1显示了一些时态逻辑断言示例：
• Diagnosing java code : using temporal logic with bug patterns
  诊断java代码:将时态逻辑用于错误模式
• Using temporal logic with bug patterns
  将时态逻辑用于错误模式
• These modal operators are usually available in temporal logic
  通常，下列模态操作符可用于时态逻辑：
• Keeping time in mind , there are two general kinds of temporal logic
  请始终记住，有两种常规的时态逻辑：