The biggest risk is not taking any risk. In a world that’s changing quickly, the only strategy that is guaranteed to fail is not taking risks.

每块石头都在讲述故事，我们的职责是让这个故事有意义。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

The world is so unpredictable. Things happen suddenly, unexpectedly. We want to feel we are in control of our own existence. In some ways we are, in some ways we're not. We are ruled by the forces of chance and coincidence.

小麦育种不仅要高产，还要抗病抗逆。