Events in Property Patterns

Simple item page
dc.creatorChechik, M.
dc.creatorPaun, D.
dc.date1999-06-28
dc.date1999-06-29
dc.date.accessioned2026-07-07T03:24:11Z
dc.date.available2026-07-07T03:24:11Z
dc.descriptionA 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.
dc.description14 pages, 3 figures
dc.identifierhttps://arxiv.org/abs/cs/9906029
dc.identifierhttp://arxiv.org/abs/cs/9906029
dc.identifierLecture notes in Computer Science (Proceedings of 6 Spin'99 Workshop)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/33228
dc.subjectSoftware Engineering
dc.subjectArtificial Intelligence
dc.subjectComputation and Language
dc.subjectSymbolic Computation
dc.subjectD.2.4;F.3.1;F.4.1;I.2.4;D.2.1
dc.titleEvents in Property Patterns
dc.typetext

Files

Collections

arXiv