"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
The beauty and mystery of this world only emerges through affection, attention, interest and compassion.
I like crossing the imaginary boundaries people like to draw between scientific fields.
海洋是我们最伟大的老师;它教会我们韧性、适应性和协作的力量。
建模的艺术在于忽略正确的东西。
If I get married, I want to be very married.