"The future of system design lies in the integration of formal methods with traditional engineering practices."

科学是一种思维方式，远不止是一堆知识。

The challenge of acting is not to show, but to reveal.

翻译：时势要求停止就停止，时势要求行动就行动，或动或静都不违背适当的时机，这样的前景就光明灿烂。