"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
女儿是水作的骨肉，男人是泥作的骨肉。
曹雪芹
Change is hardest in the middle.
变革在中间阶段最为艰难。
罗莎贝丝·莫斯·坎特
友情即良药，我们彼此都是医生。
奈莉·萨克斯
世界上最可怕的事情，莫过于有眼睛却发现不了美，有耳朵却不会欣赏音乐，有心灵却无法理解什么是真。
黑柳彻子
一个地位越高，就越难理解“粗俗”这个词的含义。
约翰·罗斯金
凡投降者，必免一死；谁不投降，反斗纷争，谁就被消灭。
成吉思汗
我们害怕岁月，却不知道活着是多么的可喜。我们认为生存已经没意思，许多人却正在生死之间挣扎。
张小娴
我不是我生活的主人。我是一根线，要被编织进生活的白布中！好吧，即使我不能纺织，我还是能掐断那条线。
克尔凯郭尔
伟大的哲学家是那些有勇气为自己思考的人。
The great philosophers are those who have the courage to think for themselves.
卡尔·雅斯贝尔斯
企业的成功不是靠等待，而是靠行动。
张瑞敏
In the dance of particles and forces, we find the rhythm of the cosmos.
在粒子和力的舞蹈中，我们找到了宇宙的节奏。
谢尔盖·杜布罗夫斯基
La literatura es una forma de resistencia, una manera de decir no a la injusticia y a la opresión.
胡安·马尔塞
儒家哲学的核心在于‘仁’，这是一种普遍的人类关怀。
陈少明
Leadership is not about giving orders; it's about inspiring people to see the vision and work together to achieve it.
领导力不是发号施令，而是激励人们看到愿景并共同努力实现它。
约翰·汉斯
有你的日子里，随手抓一束风，就是整个浪漫的青春。
林徽因
我们从出生到死亡都在被监视着。
乔治·奥威尔
唯物主义者是没有将来或未来的，它们只考虑感官的触觉。
鲁迅
年长并不一定都好，长者有时甚至连指导年轻人的资历都不具备，因为他在岁月里失去的比得到的要多。
张爱玲
They say that nobody is perfect。 Then they tell you practice makes perfect。 I wish they'd make up their minds.
据说人无完人。又据说磨练出完美。你们对下词好吗？
丘吉尔