{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:09:53Z","timestamp":1759939793893},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_23","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"323-338","source":"Crossref","is-referenced-by-count":8,"title":["SDL Versus C Equivalence Checking"],"prefix":"10.1007","author":[{"given":"Malek","family":"Haroud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Olsen, A., Faergemand, O., Reed, R., Smith, J.R.W., Mller-Pedersen, B.: Systems Engineering Using SDL-92. Elsevier Science, Amsterdam (1994)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Sipil\u00e4, J., Luukkala, V.: An SDL Implementation Framework for Third Generation Mobile Communications System. Nokia Research Center, Mobile Networks Laboratory (2001)","DOI":"10.1007\/3-540-48213-X_18"},{"key":"23_CR3","unstructured":"Hannikainen, M., Knuutila, J., Hamalainen, T., Saarinen, J.: SDL-to-C Conversion for implementing Embedded Wireless LAN Protocols. IEEE Journal 2000 (2000)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Sidorova, N., Steffen, M.: Verifying Large SDL Specifications Using Model Checking. 10th International SDL-Forum 2001 (2001)","DOI":"10.1007\/3-540-48213-X_25"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Haroud, M., Bla\u017eevi\u0107, L., Biere, A.: HW accelerated Ultra Wide Band MAC protocol using SDL and SystemC. In: Radio And Wireless Conference 2004 (2004)","DOI":"10.1109\/RAWCON.2004.1389193"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Whittaker, J.A.: What Is Software Testing? And Why Is It so Hard? IEEE Software (2000)","DOI":"10.1109\/52.819971"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation Validation TACAS 1998 (1998)","DOI":"10.1007\/BFb0054170"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Siegel, M., Strichman, O.: Translation validation: From SIGNAL to C. Correct System Design 1999 (1999)","DOI":"10.1007\/3-540-48092-7_11"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. ACM sigplan notices 2000 (2000)","DOI":"10.1145\/349299.349314"},{"key":"23_CR10","unstructured":"Daniel, K., Edmund, C., Karen, Y.: Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking DAC 2003 (2003)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking Advances in Computers Academic press 2003 (2003)","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"23_CR12","unstructured":"Clarke, Biere, Raimi, Zhu: Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design Kluwer Academic Publishers 2001 (2001)"},{"key":"23_CR13","unstructured":"Marsha Chechik Hai: Bisimulation Analysis of SDL-Expressed Protocols: A Case Study. In: CASCON Conference (2000)"},{"key":"23_CR14","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Secaucus. Springer, New York (1982)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Prins, J., Reps, T.: On the Adequacy of Program Dependence Graphs for Representing Programs Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages 1988 (1988)","DOI":"10.1145\/73560.73573"},{"key":"23_CR16","unstructured":"Namballa, R., Ranganathan, N.: Control and Data Flow Graph Extraction for High-Level Synthesis Symposium on VLSI Emerging Trends in VLSI Systems Design ISVLSI 2004 (2004)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 148. Springer, Heidelberg (2001)"},{"key":"23_CR18","unstructured":"Ellervee, P., et al.: IRSYD: An internal representation for heterogeneous embedded systems. In: Proceedings of the 16th NORCHIP Conference (1998)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Filli\u00e2tre, J.-C., Owre, S., Rue\u00df, H., Shankar, N.: ICS: Integrated Canonizer and Solver. Computer Aided Verification 2001 (2001)","DOI":"10.1007\/3-540-44585-4_22"},{"key":"23_CR20","unstructured":"Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications High-speed Physical Layer in the 5 GHz band grouper.ieee.org"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:03:33Z","timestamp":1605625413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11506843_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}