Model checking is a powerful tool for verifying the correctness of hardware and software systems.
人心难测,表面友善的人,内心未必真诚。  
预测未来的最好方法就是发明它。
我不想成为明星,我想成为一个人。