为别人浪费的一天并不是为自己浪费的一天。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
有时候旅程中最难的部分是相信自己值得这次旅行。