Proper Technique of Software Inspection Using Guarded Command Language
Michael Fagan introduced the software inspection process in the early 1970 s. The Fagan inspection method, a formalization of review process is based on the application of process management techniques to software development. To generalize software inspections are performed with the intent of finding and correcting defects by identifying situations where a software element deviates from the requirement specification. In this paper, the authors discuss techniques based on strongest post-condition predicates transformer (sp). They identify problems with other formal approaches for deriving semantics to support reasoning.