成功不是终点,失败也不是致命的:重要的是继续前进的勇气。
Leadership is about vision, but also about execution.
I adore art. when I am alone with my notes, my heart pounds and the tears stream from my eyes, and my emotion and my joys are too much to bear.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."