"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

最好的故事是那些让你感觉你属于的故事。

记忆是真相与神话交锋的战场。

哲学的功能是在作为阶级斗争理论武器的科学观念与代表阶级敌人的意识形态观念之间划清界限。

I’ve always been drawn to the mystery and beauty of music.

虚伪永远不能凭借它生长在权力中而变成真实。