| 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
请始终记住，有两种常规的时态逻辑： |
