系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
瀑布歌唱著：「虽然渴者只需少许水便足够，我却乐意给与我的全部」
生命短暂，必须充分利用。
"The only way to learn how to write is to write."
The whole conviction of my life now rests upon the belief that loneliness, far from being a rare and curious phenomenon, peculiar to myself and to a few other solitary men, is the central and inevitable fact of human existence.