保守主义始于一种所有成熟人都能轻易共鸣的情感:美好的事物容易被摧毁,却不易被创造。
模型不是水晶球,但它们是理解未来的最佳工具。
The only person you should try to be better than is the person you were yesterday.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.