I don't mind being a symbol but I don't want to become a monument. There's nothing sadder than a monument.
每一个实验,无论成功与否,都会教会我们一些有价值的东西。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
电子产品的未来在于可持续性——设计时要考虑到最终结果。