人不应惧怕死亡,而应惧怕从未开始生活。
It is not death that a man should fear, but he should fear never beginning to live.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The total speech act comprises both the act of uttering words and the act of meaning.