我不介意成为一个象征,但我不想成为一座纪念碑。没有什么比纪念碑更可悲的了。
"When you are writing, you are trying to find out something which you don't know."
Challenges are opportunities in disguise.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。