模型检查是验证有限状态并发系统正确性的强大技术。

I want my work to be open to interpretation.

The right of nature... is the liberty each man hath, to use his own power, as he will himself, for the preservation of his own nature; that is to say, of his own life.

"We are all in the gutter, but some of us are looking at the stars."

你牧师讲不了道是因为我。

I'm the reason your gravity won't pull.

If one hears bad music it is one's duty to drown it by one's conversation.