模型检查是验证有限状态并发系统正确性的强大技术。
Eyes deceive and legs fail, but it's the stomach that gets you in trouble!
"The scientist is not a person who gives the right answers, he's one who asks the right questions."
我觉得人生最重要的是有梦想,没梦想和咸鱼没分别。