模型检查是验证硬件和软件系统正确性的强大工具。
编程语言中最重要的东西是语义，而不是语法。
Life is a journey, and if you fall in love with the journey, you will be in love forever.
I don't listen to what people say. I just go out there and perform.
On choosing friends: "Life's too short to hang out with people who aren't resourceful."
The Internet is a tool for the empowerment of the individual.