| 1. | Preventing common bugs with temporal logic assertions
用时态逻辑断言防止常见错误 |
| 2. | Listing 1 shows some examples of temporal logic assertions
清单1显示了一些时态逻辑断言示例： |
| 3. | Then we ll take a look at a tool for processing temporal logic assertions
然后，我们将研究用于处理时态逻辑断言的工具。 |
| 4. | Temporal logic assertions are also useful for diagnosing such errors in the first place
首先，时态逻辑断言对于诊断此类错误也是有用的。 |
| 5. | In this article , we ve shown how to use temporal logic assertions to combat the following bug patterns
在本文中，我们展示了如何用时态逻辑断言对付下列错误模式： |
| 6. | You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the
查看temporal rover试用版（在运行时检查时态逻辑断言的工具） 。 |
| 7. | So , in this case , you can get away without using temporal logic assertions , but the task is much more difficult
因此，在本例中，您可以根本不用时态逻辑断言就能完成任务，但会困难得多。 |
| 8. | In fact , we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions
实际上，可以通过使用此类时态逻辑断言来加大我们消除一些最常见错误模式的力度。 |
| 9. | In this article , eric allen discusses assertions , introduces temporal logic , and describes a tool for processing temporal logic assertions in your programs
在本文中， eric allen将讨论断言，介绍时态逻辑并描述用于处理程序中时态逻辑断言的工具 |
| 10. | Temporal rover , from time rover inc . , is a tool for processing temporal logic assertions in java programs and generating valid java code from the assertions
Time rover inc .的temporal rover是一种用于处理java程序中时态逻辑断言并根据断言生成有效java代码的工具。 |
