"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
True innovation comes from questioning what we think we know.
單靠技術(shù)無法拯救水產(chǎn)養(yǎng)殖，有遠(yuǎn)見的人才能。
數(shù)學(xué)中最深刻的問題往往源于最簡單的問題。
"Acting is not about being someone different. It's finding the similarity in what is apparently different, then finding myself in there."
I don't sing because I'm happy; I'm happy because I sing.
夢想不會逃跑，會逃跑的永遠(yuǎn)都是自己。
釋義：天之險在于高不可升，地之險在于山川丘陵。王公設(shè)險以保衛(wèi)國家，險的功用非常大。