逻辑断言 meaning in English
logical assertion
Examples
- Preventing common bugs with temporal logic assertions
用时态逻辑断言防止常见错误 - Listing 1 shows some examples of temporal logic assertions
清单1显示了一些时态逻辑断言示例： - Then we ll take a look at a tool for processing temporal logic assertions
然后，我们将研究用于处理时态逻辑断言的工具。 - Temporal logic assertions are also useful for diagnosing such errors in the first place
首先，时态逻辑断言对于诊断此类错误也是有用的。 - In this article , we ve shown how to use temporal logic assertions to combat the following bug patterns
在本文中，我们展示了如何用时态逻辑断言对付下列错误模式：