集中的权力并不会因为创造它的人的良好意图而变得无害。
"Books are mirrors: you only see in them what you already have inside you."
人生没有绝对的公平,但相对还是公平的。
I'm a survivor. I'm not gonna give up. I'm not gonna stop. I'm gonna work harder.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.