Markus Kaltenbach's Dissertation

This page contains links to the various parts of my dissertation. All document parts are available as compressed postscript files. The abstract (including a list of keywords) is also available in ASCII format.

Complete Thesis

You can access the complete thesis, a 284-page document:

Complete Thesis (621kB)

Individual Chapters

If you are interested in individual parts, you can access them separately:

Signature Page (8kB)
Title Page, Abstract, Acknowledgments, and Table of Contents (39kB)
Chapter 1: Introduction (31kB)
Chapter 2: Preliminaries (95kB)
Chapter 3: Model Checking for UNITY (125kB)
Chapter 4: A Generalization of Progress (145kB)
Chapter 5: Checking Progress Properties (56kB)
Chapter 6: The UNITY Verifier System (226kB)
Chapter 7: Experimental Results (51kB)
Chapter 8: Conclusions (30kB)
Appendix A: The UV Input Language (34kB)
Appendix B: The Tcl/Tk Interface of UV (39kB)
Appendix C: The UV System Source Structure (28kB)
Appendix D: Additional Proofs (71kB)
Bibliography and Vita (33kB)

If you have any problems accessing the files, or if you have any questions, please contact me by e-mail at markus@cs.utexas.edu.

This page was last updated on 02-Dec-1996.

markus@cs.utexas.edu