模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
成功的最好方式是永不放弃。
翻译：处在上位不骄傲，处在下位不忧愁。
We are not just robots made of meat.
I’m not afraid of dying, I’m afraid of not trying.
我总是被那些处于社会边缘的角色所吸引。
The fact remains that getting people right is not what living is all about anyway. It’s getting them wrong that is living, getting them wrong and wrong and wrong and then, on careful reconsideration, getting them wrong again.