This directory contains files for Technical Report CSRI-381.

The files in this directory are the following:

1) README       (< 1 KB - the ASCII file you are now reading)
2) TR-381.ps    (160 KB - PostScript)
3) TR-381.ps.gz (46  KB - PostScript compressed with the program "gzip")

If you have the UNIX "gunzip" program, get the file TR-381.ps.gz.
Remember to transfer the file in binary mode. After the transfer, 
"gunzip" the file.

If you do not have the UNIX "gunzip" program, get the file TR-381.ps 
in ASCII mode. 

After transfering the file, print it on a PostScript printer.

If you have any questions or comments about this technical report, please
contact chechik@cs.toronto.edu


TITLE:    Events in Property Patterns
AUTHORS:  Marsha Chechik and Dimitrie Paun


ABSTRACT:

A pattern-based approach to the presentation, codification and reuse
of property specifications for finite-state verification was proposed
by Dwyer and his colleagues in recent work.  The patterns enable
non-experts to read and write formal specifications for realistic
systems and facilitate easy conversion of specifications between
formalisms, such as LTL, CTL, QRE.  In this paper we extend the
pattern system with events - changes of values of variables in the
context of LTL.