系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
The secret of change is to focus all of your energy,not on fighting the old,but on building the new.
改变的秘诀是集中你的所有能力,不是摧毁旧的,而是建造新的。