I'm just trying to be myself and not let anything change that.
未来不是命中注定的。没有保证。所以,要主动承担成年人的责任。要有目的性。开始工作。选择你的家庭。做数学题。创造你自己的确定性。不要被你不知道或没做的事情所定义。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."