{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T01:02:21Z","timestamp":1774400541543,"version":"3.50.1"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1109\/icecs.2005.4633600","type":"proceedings-article","created":{"date-parts":[[2008,9,29]],"date-time":"2008-09-29T16:03:55Z","timestamp":1222704235000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["On the formal verification of a SystemC Packet switch model"],"prefix":"10.1109","author":[{"given":"Ali","family":"Habibi","sequence":"first","affiliation":[{"name":"Concordia University, Department of Electrical and Computer Engineering, 1455 De Maisonneuve West, Montreal, Quebec, H3G 1M8, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[{"name":"Concordia University, Department of Electrical and Computer Engineering, 1455 De Maisonneuve West, Montreal, Quebec, H3G 1M8, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Symbolic Model Checking","author":"mcmillan","year":"1993"},{"key":"ref11","year":"2004","journal-title":"Microsoft Corp AsmL for Microsoft NET Framework"},{"key":"ref12","year":"2005"},{"key":"ref13","year":"2005","journal-title":"SystemC 2 0 1 Language Reference Manual"},{"key":"ref14","article-title":"Analyses totales de programmes par interpretation abstraite","author":"vederine","year":"2000"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2002.1115387"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00313-3"},{"key":"ref6","article-title":"Semantic Essence of AsmL","author":"gurevich","year":"2004","journal-title":"Technical report Microsoft Research Tech Report MSR-TR-2004-27"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998382"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/11562948_8","article-title":"An Approach for the Verification of SystemC Designs using AsmL","author":"habibi","year":"2005","journal-title":"In Automated Technology for Verification and Analysis LNCS 3707"},{"key":"ref7","article-title":"A Framework for System Level Verification: The SystemC Case","author":"habibi","year":"2005"},{"key":"ref2","year":"2005"},{"key":"ref1","year":"2004","journal-title":"Accellera Property Specification Language Reference Manual Version 1 01"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.021"}],"event":{"name":"2005 12th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2005)","location":"Gammarth, Tunisia","start":{"date-parts":[[2005,12,11]]},"end":{"date-parts":[[2005,12,14]]}},"container-title":["2005 12th IEEE International Conference on Electronics, Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4617928\/4633368\/04633600.pdf?arnumber=4633600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T00:31:28Z","timestamp":1774398688000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4633600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icecs.2005.4633600","relation":{},"subject":[],"published":{"date-parts":[[2005,12]]}}}