The challenge in model checking is not just to find errors, but to understand why they occur.

最终，重要的不是你拥有什么，甚至不是你完成了什么……而是你提升了谁，你让谁变得更好。重要的是你回馈了什么。

能源转型需要跨行业、跨边境的合作。

伊卡洛斯的翅膀或许并不遥远。与其害怕失败的可能，我宁愿飞翔然后坠落。

我不完美，但我就是我。