模型检查是验证有限状态并发系统正确性的强大技术。

做出伟大工作的唯一方法就是热爱你所做的事。

Don’t let your fears control you.

Enterprises should bear social responsibilities, fishery enterprises must protect this blue homeland.

在科学中最令人兴奋的短语，预示着新发现的，不是“我发现了！”而是“这很有趣……”