Paul's Ph.D. Thesis

You are welcome to download a copy of my Ph.D. in "The Use of Formal Methods for Safety-critical Systems". I've recently converted the original postscript (.ps) files to pdf.

An overview is presented in the abstract

If you are downloading part of the main body, then I would be grateful if you could let me know. Also for identification purposes please make sure you take a copy of the title page (cover.txt). Thank you.

Here are the files:

  • readme.txt Readme file
  • cover.txt Cover with title, name, date, institution
  • thesis1.pdf (529K) Contents, Acknowledgements, Chapters 1, 2 and 2
  • thesis2.pdf (248K) Chapters 4 and 5
  • thesis3.pdf (141K) Chapters 6 and 7
  • thesis4.pdf (79K) Appendices, References
  • For those of you who take the trouble to read into the heart of the Theory of Conformance Testing, I have since found a proof that the Unified Tester is indeed a tester for the reduction preorder in the given context. You can download the proof here (it is only a little over 2 pages):

  • uniproof.pdf (80K)
  • If you have any comments or queries about the thesis, then I shall try my best to answer, time allowing.

    Formal Methods Index

    - Paul Trafford Paul's home page

    Page created: 14 April 1998; PDF versions uploaded: 28 October 2010