Justice delayed is justice denied.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
意識(shí)總是關(guān)于超越自身的事物。
解釋:君子有三件值得可惜的事:一輩子不學(xué)習(xí),是第一件可惜的事;一天無(wú)所事事,是第二件可惜的事;一個(gè)人的名聲敗壞,是第三件可惜的事。