An Automated Approach to Specification-Based Program Inspection

Abstract

In this paper, we describe how formal speci…cation is adopted to improve the commonly used veri…cation and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and e¢ cient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the… (More)
DOI: 10.1007/11576280_29

5 Figures and Tables