Loading...
Please wait, while we are loading the content...
Similar Documents
Events in Property Patterns (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Chechik, Marsha Paun, Dimitrie O. |
| Description | A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification vas pro- posed by Dvyer and his colleagues in [4, 3]. The patterns enable non- experts to read and vrite formal specifications for realistic systems and facilitate easy conversion of specifications betveen formalisms, such as LTL, CTL, QRE. In this paper ve extend the pattern system vith events changes of values of variables in the context of LTL. |
| File Format | |
| Language | English |
| Publisher | Springer-Verlag |
| Publisher Date | 1999-01-01 |
| Publisher Institution | IN [7 |
| Access Restriction | Open |
| Subject Keyword | Realistic System Specification Betveen Formalism Property Pattern Finite-state Verification Formal Specification Facilitate Easy Conversion Property Specification Pattern System Vith Event Change Pattern-based Approach Pattern Enable Non Expert |
| Content Type | Text |
| Resource Type | Article |
