- 113 Downloads
Verification is an important facet of the PROSPECTRA methodology. In this chapter general verification issues are considered as well as the conceptual and the practical integration of proof into the methodology. The proof systems available within the PROSPECTRA system are described and their complementary roles in program development are presented.
The way in which the PROSPECTRA methodology and system are used to construct proof strategies and tactics is described. The principles underlying proof are closely related to the methodology for transformation and program development, and indeed a certain duality is apparent. This duality is exposed and shown to underpin many aspects of the design of the proof system.
KeywordsTransformation Rule Proof System Sequent Calculus Transformational Programming Proof Tree
Unable to display preview. Download preview PDF.