"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最伟大的故事是那些超越时间的故事。
The chief prevention against getting old is to remain astonished.
I don't follow the rules; I make them.
The best way to buy a stock is when it's cheap, and the best time to sell is when it's expensive.