电影应该让你忘记你正坐在剧院里。
Cinema should make you forget you are sitting in a theater.
诗人是一个能使不可能变为可能的人。
Never stop questioning how things can be improved.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
心灵的纯洁是愿意一件事。