Sleep is good, death is better; but of course, the best thing would to have never been born at all.
将过去交托给上帝的怜悯,将现在交托给上帝的爱,将未来交托给上帝的谋划。
Life is short, make it sweet.
Neither power nor wealth, only the scepters of art endure.
释义:成败的关键,在于体察民心,施行德政。
我不是那种会让对我尊重的爱减少的人。
模型检查是验证有限状态并发系统正确性的强大技术。