Model checking is a powerful tool for verifying the correctness of hardware and software systems.

忠于自己，永远不要让任何人告诉你你做不到某件事。

Art is not about answers, it's about questions.

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

Spend each day trying to be a little wiser than you were when you woke up.Discharge your duties faithfully and well.Systematically you get ahead, but not necessarily in fast spurts...At the end of the day if you live long enough most people get what they deserve.