{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:23Z","timestamp":1725494063097},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_13","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"154-167","source":"Crossref","is-referenced-by-count":11,"title":["Events in Property Patterns"],"prefix":"10.1007","author":[{"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[]},{"given":"Dimitrie O.","family":"P\u0103un","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"A. Bernstein and P. K. Harter. Proving real time properties of programs with temporal logic. In Proceedings of the Eight Symposium on Operating Systems Prin-ciples, pages 1\u201311. ACM, 1981.","DOI":"10.1145\/800216.806585"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. \u201cAutomatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications\u201d. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. \u201cProperty Specification Patterns for Finite-state Veri-cation\u201d. In Proceedings of 2nd Workshop on Formal Methods in Software Practice, March 1998.","DOI":"10.1145\/298595.298598"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. \u201cPatterns in Property Specifications for Finite-State Verification\u201d. In Proceedings of 21st Inter-national Conference on Software Engineering, May 1999.","DOI":"10.1145\/302405.302672"},{"issue":"COM-31","key":"13_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TCOM.1983.1095720","volume":"1","author":"B.T. Hailpern","year":"1983","unstructured":"B. T. Hailpern and S. S. Owicki. Modular verification of computer communication protocols. IEEE Transactions on Communication, 1(COM-31):56\u201368, 1983.","journal-title":"IEEE Transactions on Communication"},{"key":"13_CR6","volume-title":"Texts and Monographs in Computer Science","author":"E.R.C. Hehner","year":"1993","unstructured":"Eric C. R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1993."},{"key":"13_CR7","unstructured":"G. J. Holzmann and O. Kupferman. \u201cNot Checking for Closure under Stuttering\u201d. In Proceedings of SPIN\u201996, 1996."},{"issue":"5","key":"13_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. \u201cThe Model Checker SPIN\u201d. IEEE Transactions on Software Engineering, 23(5):279\u2013295, May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"Lamport. Leslie","year":"1983","unstructured":"Leslie Lamport. Specifying concurrent program modules. ACM Transactions of Programming Languages and Systems, 5:190\u2013222, 1983.","journal-title":"ACM Transactions of Programming Languages and Systems"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"Lamport. \u201c. Leslie","year":"1994","unstructured":"Leslie Lamport. \u201cThe Temporal Logic of Actions\u201d. ACM Transactions on Pro-gramming Languages and Systems, 16:872\u2013923, May 1994.","journal-title":"ACM Transactions on Pro-gramming Languages and Systems"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. \u201cTools and Rules for the Practicing Verifier\u201d. Technical Report STAN-CS-90-1321, Department of Computer Science, Stanford University, 1990. Appeared in Carnegie Mellon Computer Science: A 25 year Commemorative.","DOI":"10.21236\/ADA227320"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"13_CR14","unstructured":"Abdelillah Mokkedem and Dominique M-ery. A stuttering closed temporal logic for modular reasoning about concurrent programs. In Temporal Logic: First International Conference, ICTL\u2019 94, number 827 in Lecture Notes in Artificial Intelligence, Berlin, July 1994. Springer-Verlag."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Kurt M. Olender and Leon J. Osterweil. \u201cCecil: A Sequencing Constraint Language for Automatic Static Analysis Generation\u201d. IEEE Transactions on Software Engineering, 16(3):268-280, March 1990","DOI":"10.1109\/32.48935"},{"key":"13_CR16","unstructured":"J. S. Ostro-. Temporal Logic of Real-Time Systems. Advanced Software Development Series. Research Studies Press (John Wiley & Sons), 1990."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Doron Peled, Thomas Wilke, and Pierre Wolper. \u201cAn Algorithmic Approach for Checking Closure Properties of !-Regular Languages\u201d. In Proceedings of CONCUR\u2019 96: 7th International Conference on Concurrency Theory, August 1996.","DOI":"10.1007\/3-540-61604-7_78"},{"key":"13_CR18","unstructured":"Dimitrie O. P-aun. Closure under stuttering in temporal formulas. Master\u2019s thesis, Department of Computer Science, University of Toronto, Toronto, Ontario M5S 3G4, CANADA, 1999. April."},{"key":"13_CR19","unstructured":"Dimitrie O. P-aun and Marsha Chechik. \u201cEvents in Linear-Time Properties\u201d. In Proceedings of 4th International Conference on Requirements Engineering, June 1999."},{"key":"13_CR20","unstructured":"Dimitrie O. P-aun, Marsha Chechik, and Bernd Biechelle. \u201cProduction Cell Revisited\u201d. In Proceedings of SPIN\u201998, November 1998."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T03:15:53Z","timestamp":1556939753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}