模型检查是验证硬件和软件系统正确性的强大工具。
The only way out is through.
最好的建筑是那种让人觉得必然的建筑。
把仁心存在自己心中是先贤的最高学问，行为中尽自己的本分是圣贤的最高功夫。
The best buildings are those that tell a story, that have a soul.
Invest in research today, or face scarcity tomorrow.
The best leaders are those who listen more than they speak.
Architecture is the art of making memories concrete.