Novel approach for Software Inspection

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 we discuss techniques based on strongest post-condition predicates transformer (sp). We identify problems with other formal approaches for deriving semantics to support reasoning .We 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.