模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
读书不体验认识,就好像闪电照物,一点都抓不到;读书不能身体力行,就像水上行车、陆上行舟、一点用处都没有。
历史学家是向后看的先知。
A writer must be willing to be challenged.
In the face of challenges, we must remain resilient and innovative.