有时最难的案子是那些离家最近的。
Sometimes the hardest cases are the ones closest to home.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
安全不仅仅是一项政策，它是一种从高层开始的文化。
The most important thing is to focus on the user and all else will follow.
Never be afraid of the moments--thus sings the voice of the everlasting.
The real heroes are the ones who have the courage to say no.
"Experience is simply the name we give our mistakes."