系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
One must choose in life between boredom and suffering.
人们在做事时绝不能够拖拉，不能够反复多变，不能够斤斤计较；可是替别人做事时，却特别需要耐得住拖延耽搁，耐得住反复多变，耐得住琐碎烦乱。