系统设计的未来在于将形式化方法与传统工程实践相结合。

The only true rebellion left is to refuse to participate in the madness of the world.

"The refusal to rest content, the willingness to risk excess on behalf of one's obsessions, is what distinguishes artists from entertainers."

The problem of quality management is not what people don't know about it. The problem is what they think they do know.