{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:31:55Z","timestamp":1754483515577},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423454"},{"type":"electronic","value":"9783540445852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44585-4_36","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T19:39:50Z","timestamp":1265917190000},"page":"378-381","source":"Crossref","is-referenced-by-count":7,"title":["SDLcheck: A Model Checking Tool"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Levin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00fcsn\u00fc","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"36_CR1","unstructured":"ITU\u2014T Recommendation Z.100 (03\/93) \u2014 Specification and Description Language (SDL), Geneva, 1993."},{"key":"36_CR2","unstructured":"ITU\u2014T Recommendation Z.100 (10\/96) \u2014 Specification and Description Language (SDL), Addendum 1, Geneva, 1996."},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan, Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"36_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BFb0054182","volume-title":"Proc. of 4th International Conference Tools and Algorithms for the Construction and Analysis of Systems","author":"R. P. Kurshan","year":"1998","unstructured":"R. P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenig\u00fcn. Static Partial Order Reduction, Proc. of 4th International Conference Tools and Algorithms for the Construction and Analysis of Systems, LNCS no. 1384, pp. 345\u2013357, 1998."},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, J. C. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, L. Mounier, J. Sifakis, IF: An Intermediate Representation for SDL and its Applications. Proc. of the SDL Forum, Montreal, Canada, 1999.","DOI":"10.1016\/B978-044450228-5\/50028-X"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"G. J. Holzmann, The Model Checker Spin, IEEE Trans. on Software Engineering Vol. 23,No. 5, 1997.","DOI":"10.1109\/32.588521"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"D. Bosnacki, D. Damm, L. Holenderski, N. Sidorova, Model checking SDL with Spin, Proc. of the Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000.","DOI":"10.1007\/3-540-46419-0_25"},{"key":"36_CR8","unstructured":"Levin, V., E. Bounimova, O. Basbu\u011fo\u011flu, and K. \u0130nan, A Verifiable Software\/Hardware Co-design Using SDL and COSPAN, Proceedings of the COST 247 International Workshop on Applied Formal Methods In System Design. Maribor, Slovenia, pp. 6\u201316, 1996."},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"N. Sharygina, R. P. Kurshan, J. C. Browne, A Formal Object-oriented Analysis for Software Reliability, To appear at FASE 2001.","DOI":"10.1007\/3-540-45314-8_23"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44585-4_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T22:29:38Z","timestamp":1558823378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44585-4_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423454","9783540445852"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-44585-4_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}