模型检查是验证有限状态并发系统正确性的强大技术。
电流体并非由仪器创造，而是由仪器收集。
文明被描述为人类与其环境相互作用的结果。
Acting is a way of living out one's insanity.
Let him who would move the world first move himself.
"Love is a kind of pain. If you don’t feel pain, it’s not love."
我是个糟糕的女权主义者，但我确实是个女权主义者。
The writer must be able to superintend himself and criticize himself.
时间是一条既向前流又向后流的河流。
Technology must ultimately serve people and improve the quality of human life.