So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult.

• 因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。