Model checking is a powerful tool for verifying the correctness of hardware and software systems.
"The act of writing is an act of rebellion against the passage of time."
Life is 10% what happens to you and 90% how you react to it.
我们进化而来的心理是所有文化的基础,而不是相反。
"To understand a country, you must understand its silences."
You can't control everything in life, but you can control how you react to it.