C:/TEX/PHD/final/ cover.txt --------- THE USE OF FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS PAUL JOSEPH TRAFFORD A thesis submitted in partial fulfilment of the requirements of Kingston University for the degree of Doctor of Philosophy School of Computer Science and Electronic Systems, Kingston University June 1997