Papers

Several papers describing the pattern system have been published:

Patterns are introduced in Matthew B. Dwyer, George S. Avrunin and James C. Corbett, Property Specification Patterns for Finite-State Verifications , in the 2nd Workshop on Formal Methods in Software Practice, March, 1998.
A survey of property specifications appears in Matthew B. Dwyer, George S. Avrunin and James C. Corbett, Patterns in Property Specifications for Finite-state Verification ,in Proceedings of 21st International Conference on Software Engineering, May 1999.
A comprehensive Web site of patterns appears here

Papers below describe the extensions we have introduced into the pattern system:

Dimitrie O. Paun and Marsha Chechik, Events in Property Patterns , submitted for publication, May 1999.
Dimitrie O. Paun and Marsha Chechik, Events in Linear-Time properties , in proceedings of 4th International symposium on Requirements Engineering, June 1999.
Dimtrie O. Paun, Closure Under Stuttering in Temporal Formulas , M.Sc. Thesis, DCS, University of Toronto, April 1999.