Then we ll take a look at a tool for processing temporal logic assertions.

• 然后,我们将研究用于处理时态逻辑断言的工具。