Design and validation of self checking software for single and multiple processor systems /

This dissertation presents a method to construct and evaluate self checking software components. The construction of the components begins with the expression of the algorithm in a high-level formalism. This formalism is used to abstract away from the details and focus on some overall features of...

Full description

Bibliographic Details

Main Author:	Geoghegan, Sean Joseph
Format:	Thesis Book
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 1998.
Subjects:	Major computer science.
Online Access:	http://proxy.library.tamu.edu/login?url=http://proquest.umi.com/pqdweb?did=737708651&sid=1&Fmt=2&clientId=2945&RQT=309&VName=PQD