You can’t change the past, but you can change the future.
现在如果天下的人都相信鬼神能赏贤罚暴,那么天下怎么还会混乱! 
Dreams are the driving force of life, without dreams there is no direction.
Be your own sun, and your world will be brightened by you.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."