生活在别处。
The most powerful thing you can be is yourself.
It is in the thirties that we want friends. In the forties we know they won't save us any more than love did.
每个实验都是向自然提出的一个问题,每个结果都是自然的回答。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."