形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The truth is not always beautiful, but the pursuit of truth is always beautiful.
我相信电影有改变世界的力量。
经济不平等不仅是一个道德问题,也是一个经济问题。
Compliance is not a burden, it's our license to operate.