见不尽者,天下之事。读不尽者,天下之书。参不尽者,天下之理。
释义:世间繁杂的事情看之不尽,天下的书籍读之不尽,世界的道理参悟不尽。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."