Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

SPIN
1999
Springer

favoriteEmaildiscussreport

111views Theoretical Computer Science» more SPIN 1999»

Events in Property Patterns

13 years 8 months ago

Events in Property Patterns

Download spinroot.com

A pattern-based approach to the presentation, codiﬁcation and reuse of property speciﬁcations for ﬁnite-state veriﬁcation was proposed by Dwyer and his colleagues in [4, 3]. The patterns enable nonexperts to read and write formal speciﬁcations for realistic systems and facilitate easy conversion of speciﬁcations 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.

Marsha Chechik, Dimitrie O. Paun

Real-time Traffic

Pattern-based Approach | Patterns Enable Nonexperts | Property Speciﬁcations | SPIN 1999 | Theoretical Computer Science |

claim paper

Related Content

» A BreadthFirst Algorithm for Mining Frequent Patterns from Event Logs

» Patterns for Timed Property Specifications

» Mining CoLocation Patterns with Rare Events from Spatial Data Sets

» A methodology for extracting temporal properties from sensor network data streams

» A Framework for Mining Sequential Patterns from SpatioTemporal Event Data Sets

» Statistical properties of interarrival times distribution in social tagging systems

» Javert fully automatic mining of general temporal properties from dynamic traces

» Quasiperiodic event analysis for social game retrieval

» Specification of Inefficiency Patterns for MPI2 OneSided Communication

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1999
Where	SPIN
Authors	Marsha Chechik, Dimitrie O. Paun

Comments (0)