Proceedings ; 12th International Symposium on Temporal Representation and Reasoning, TIME 2005 ; 23 - 25 June 2005, Burlington, Vermont Herausgeber: Chomicki, Jan Erscheinungsort: Los Alamitos, Calif. [u.a.] Verlag: IEEE Computer Society Erscheinungsjahr: 2005 Seiten: 189-191 ISBN: 0-7695-2370-6
Erstveröffentlichung
2005
Abstract (EN)
We present a pattern system for property specification. It extends the existing patterns identified in [4] which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements. The paper is limited to 3 pages. Therefore it contains only basic ideas. The details can be found in [9].
Freie Schlagwörter (EN)
patterns, formal specification, timed model checking, verification