模型检查是验证有限状态并发系统正确性的强大技术。

人生最好的老师就是经历。

领导力在于创造一个愿景，然后赋予他人实现它的能力。

成功辨识的关键是找到一个尽可能简单但不过于简单的模型。

I don't think about being the best. I think about being better than yesterday.

当天赋不努力时，勤奋会击败天赋。