时态逻辑 meaning in English
temporal logic
tense logic
Examples
- 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
时态逻辑可以有助于诊断此类错误。