"You can’t always get what you want, but sometimes you get what you need."
你不可能总是得到你想要的,但有时你会得到你需要的。
The challenge in model checking is not just to find errors, but to understand why they occur.
我不是为了金钱或名声打球,而是为了热爱。
海洋渔业是蓝色经济的核心,我们要用科技的力量让渔业更可持续。