A SIMPLE PROOF CHECKER FOR REAL-TIME SYSTEMS By
Catherine Leung
B. Sc. (Computer Science) University of British Columbia

a thesis submitted in partial fulfillment of
the requirements for the degree of
Master of Science

in
the faculty of graduate studies
computer science

We accept this thesis as conforming
to the required standard

: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :

the university of british columbia
June 1995
c Catherine Leung, 1995