View article

The concept of abstraction is most important for mastering the complexity of process verification. The reason is that abstraction allows larger processes to be constructed and verified hierarchically as systems of smaller ones. For example, imagine a system SYS consisting of three components connected as in Figure 1 (a). Typically, the task of verification is then to prove that such a system behaves like a much simpler process SPEC serving as system specification.