"In the end, it is not the technology that defines us, but how we choose to use it."
最终，定义我们的不是技术，而是我们选择如何使用它。
Managing a company is like steering a ship, you must constantly adjust your course.
No matter how good you get you can always get better, and that's the exciting part.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
模型检查是验证有限状态并发系统正确性的强大技术。
适合处理生铁的人并不适合管理生铁。