Properties of Specifications

In the previous two chapters we described the behavior of systems by logical properties. In this chapter we classify and structure such system properties. Classification of system properties provides valuable insights and input to systems development. First, the understanding of the system to be developed is increased. Second, different classes of properties often require specialized description and verification techniques. Third, the stepwise construction of specifications is simplified. In addition, if specifications are structured along the line of such classifications, the readability of specifications is increased and the verification of refinement steps is simplified.