The teacher is the sun, the student is the moon. The teacher shines, and the student reflects.
教師是太陽(yáng)，學(xué)生是月亮。教師發(fā)光，學(xué)生反射。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
道德的人和榮譽(yù)的人之間的區(qū)別在于，后者即使在不光彩的行為奏效時(shí)也會(huì)感到后悔。
The power of words lies in their ability to create worlds.
最好的音樂(lè)本質(zhì)上是為你提供面對(duì)世界的東西。