{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T22:10:26Z","timestamp":1736028626851,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_8","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T14:06:40Z","timestamp":1128953200000},"page":"69-83","source":"Crossref","is-referenced-by-count":12,"title":["An Approach for the Verification of SystemC Designs Using AsmL"],"prefix":"10.1007","author":[{"given":"Ali","family":"Habibi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Accellera Organization. Accellera property specification language reference manual, version 1.01. (2004), www.accellera.org","key":"8_CR1"},{"key":"8_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. Boerger","year":"2003","unstructured":"Boerger, E., Staerk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Clarke, E., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems. In: A Decade of Concurrency - Reflections and Perspectives, Berlin, Germany, pp. 124\u2013175 (1993)","key":"8_CR3","DOI":"10.1007\/3-540-58043-3_19"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Proc. Symposium on Principles of Programming Languages, USA, pp. 178\u2013190 (2002)","key":"8_CR4","DOI":"10.1145\/503272.503290"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M., Hatcliff, J., Joehanes, R., Laubach, S., Pasareanu, C., Visser, R.W., Zheng, H.: Tool-supported program abstraction for finite-state verification. In: Proc. International Conference on Software Engineering, Toronto, Canada, pp. 177\u2013187 (2001)","key":"8_CR5","DOI":"10.1109\/ICSE.2001.919092"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/566171.566190","volume":"27","author":"W. Grieskamp","year":"2002","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. Software Engineering Notes\u00a027(4), 112\u2013122 (2002)","journal-title":"Software Engineering Notes"},{"doi-asserted-by":"crossref","unstructured":"Gro\u03b2e, D., Drechsler, R.: Checkers for systemc designs. In: Proc. Formal Methods and Models for Codesign, San Diego, USA, pp. 171\u2013178 (2004)","key":"8_CR7","DOI":"10.1109\/MEMCOD.2004.1459851"},{"key":"8_CR8","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Technical report, Microsoft Research Tech. Report MSR-TR-2004-27 (March 2004)","key":"8_CR9","DOI":"10.1007\/978-3-540-30101-1_11"},{"doi-asserted-by":"crossref","unstructured":"Habibi, A., Ahmed, A.I., Ait-Mohamed, O., Tahar, S.: On the design and verification of the look-aside interface. In: Proc. Design Automation and Test in Europe, Germany, pp. 290\u2013295 (2005)","key":"8_CR10","DOI":"10.1109\/DATE.2005.228"},{"unstructured":"Habibi, A., Tahar, S.: On the Transformation of SystemC to AsmL using Abstract Interpretation. Technical report, ECE, Concordia University (December 2004), www.ece.concordia.ca\/~habibi\/techrp\/TR0404\/","key":"8_CR11"},{"doi-asserted-by":"crossref","unstructured":"Habibi, A., Tahar, S.: Design for verification of SystemC transaction level models. In: Proc. Design Automation and Test in Europe, Germany, pp. 560\u2013565 (2005)","key":"8_CR12","DOI":"10.1109\/DATE.2005.112"},{"key":"8_CR13","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"unstructured":"Intel Corp. AGP v3.0 interface specification (2002)","key":"8_CR14"},{"unstructured":"Logozzo, F.: Anhalyse Statique Modulaire de Langages a Objets. PhD thesis, Ecole Polytechnique, Paris, France (June 2004)","key":"8_CR15"},{"unstructured":"Microsoft Corp. AsmL for Microsoft .NET Framework (2004), research.microsoft.com","key":"8_CR16"},{"unstructured":"Network Processing Forum. Look-Aside (LA-1) Interface, Implementation Agreement, Revision 1.1, April 15. Kluwer Academic Publishers, Dordrecht (2004)","key":"8_CR17"},{"unstructured":"Open SystemC Initiative (2004), www.systemc.org","key":"8_CR18"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-40922-X_21","volume-title":"Formal Methods in Computer-Aided Design","author":"K. Shimizu","year":"2000","unstructured":"Shimizu, K., Dill, D.L., Hu, A.J.: Monitor-based formal specification of PCI. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol.\u00a01954, pp. 335\u2013353. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T21:43:58Z","timestamp":1736027038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11562948_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}