有时候,不是对方不在乎你,而是你把对方看得太重。
Technology is anything that wasn't around when you were born.
The deepest urge in human nature is the desire to be important.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."