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

解释：比喻能很快地接受别人良好的建议。

最强大的人是能够承认自己弱点的人。

Culture is the invisible force that shapes behavior and drives performance in any organization.

The urgent is a tyrant. The important should be your king. Down with the tyranny of the urgent

每当两个程序员见面批评他们的程序时，他们都保持沉默。

这不是钱的问题，而是让事情发生的能力。

最好的领导者是那些倾听多于发言的人。