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