模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
信仰与看不见的事物有关，希望与尚未到来的事物有关。
我发现了！我发现了！（据传是发现浮力原理时的感叹）
The most controversial thing I have ever done is to stick around.
货币政策是一个强大的工具，但它不能解决所有的经济问题；它必须辅以健全的财政政策。
烘焙是关于分享的——无论是知识还是面包本身。
应该做官就做官，应该辞职就辞职，应该继续干就继续干，应该马上走就马上走。