形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

约瑟夫·斯法基斯

真相很少纯粹，也决不简单。

王尔德

伟大的公司都是熬出来的，你要有耐心陪伴创业者成长。

徐新

我把自己变成圆点，融入宇宙。

I turn myself into a dot and merge with the universe.

草间弥生

不要错过机会，生命比你想象的要短。

加西亚·马尔克斯

落花辞枝，夕阳欲沉。

弘一法师

两人一般心，无钱堪买金；一人一般心，有钱难买针。

周希陶

我们必须勇敢地面对自己的罪孽，并寻求上帝的赦免。

约翰·卫斯理

志当存高远。

诸葛亮

不再自怨自艾，勇敢地融入充满阳光的人群当中，是逃离孤独束缚的最好方式。我们需要主动去认识别人，去结识新的朋友。

卡耐基

唯一重要的是工作。如果你专注于工作，其他一切都会水到渠成。

The only thing that matters is the work. If you focus on the work, everything else will fall into place.

肖恩·潘

You have to believe in yourself when no one else does.

当没有人相信你时，你必须相信自己。

诺瓦克·德约科维奇

现在我必须记下的失望（因为我温和地想把我的故事逐渐表现为贯穿在我的幸福中的持续不断的冒险和恐惧）丝毫不应当影响那片具有抒情、史诗、悲剧的色彩但却绝对没有田园牧歌情调的美国荒野。那些荒野美丽非凡，令人心碎，它们那种天真纯朴、默默无闻的柔顺品质是我那表面光洁、像玩具一样鲜亮的瑞士村庄和受到详尽无遗地赞誉的阿尔卑斯山所不具备的。

弗拉基米尔·纳博科夫

我会告诉你我会做什么和不会做什么。我不会再为我所不再相信的东西服务，无论它自称是我的家、我的祖国还是我的教会：我将尽力以某种生活或艺术的方式自由而完整地表达自己，用我允许自己使用的唯一武器来保护自己——沉默、流放和狡黠。

I will tell you what I will do and what I will not do. I will not serve that in which I no longer believe, whether it call itself my home, my fatherland, or my church: and I will try to express myself in some mode of life or art as freely as I can and as wholly as I can, using for my defence the only arms I allow myself to use—silence, exile, and cunning.