Statistical Testing and Formal Proof Methods: A Combined Approach to Verification of Software Built with Re-used Components

J.H.R. May (UK)


Component re-use, Verification, Safety-Critical systems


This paper examines the possibilities for a new verification method for software containing re-used components. Using Architectural Software Reliability (ASR) models to exploit re-used components that have been proven-in-use in previous applications, the new method offers a new framework for objective software verification that compliments formal proof methods.

Important Links:

Go Back