ABSTRACT
While the topic of error propagation has been investigated by others (Hiller M. 2001; Jhumka A. 2001; Abdelmoez W. 2004; Voas 1997; Lillerud F. 2005; Michael C.C. 1996), and methods have been proposed that can be used to identify potential error propagation issues in a given program (Sarshar S. 2007), there are currently no existing methods that have been specially developed to provide mathematical proofs of whether error propagation can or can not occur. A possible approach for using formal methods in relation to error propagation was investigated in (Fredriksen R. 2007), but since it required that a reasonably complete formal specification written in Z was available, it is rarely applicable in practice.
