Events in Property Patterns

Details Events in Property Patterns Events in Property Patterns

1999-06-28

arxiv.org/abs/cs/9906029v2

Lecture notes in Computer Science (Proceedings of 6 Spin'99 Workshop)

Computer Science

Software Engineering

14 pages, 3 figures

Scientific paper

A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. 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.

Affiliated with

Also associated with

No associations

Rating

Events in Property Patterns does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Events in Property Patterns, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Events in Property Patterns will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-681453