ABSTRACT
In Chapter 4 we described how the certification process integrates with the other development activities and why certification-related activities are better started from the early stages of system development. The process described there, however, is generic and high level. This chapter details requirements, steps, and procedures for system certification; describes various widely adopted standards and recommendations; and illustrates the position of standardization documents with respect to the usage of formal methods.
