物理学的美在于它能够用简单的定律解释复杂的事物。
模型检查是验证有限状态并发系统正确性的强大技术。
我们飞得越高,我们在那些不能飞的人眼中的形象就越渺小。
Short-term gains should never compromise long-term sustainability.
一个人的价值或价值,就像所有其他事物一样,是他的价格;也就是说,为了使用他的力量而愿意付出的代价。