Temporal logic assertions are also useful for diagnosing such errors in the first place.

• 首先,时态逻辑断言对于诊断此类错误也是有用的。