The world is a story without an ending.
我希望被人们记住为一个能够帮助他人表达自我并活在当下的人。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。