Date Added: Jul 2012
Michael Fagan introduced the software inspection process in the early 1970s. The Fagan inspection method, a formalization of review process is based on the application of process management techniques to software development. 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. They have described verification methods based on the derived semantics forms and conjecture that because the need to provide inference rules for language constructs has been removed, these techniques may be more amenable to automated and semi automated theorem proving than traditional approaches.