这只是可以用传统断言语言表示的程序特性类型的简短列表所有程序员都希望在代码中包含的特性

• This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code