{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:08:55Z","timestamp":1729678135797,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/iri.2013.6642516","type":"proceedings-article","created":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T00:13:22Z","timestamp":1383178402000},"page":"536-545","source":"Crossref","is-referenced-by-count":4,"title":["Verifying SystemC with predicate abstraction: A component based approach"],"prefix":"10.1109","author":[{"given":"Nesrine","family":"Harrath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Monsuez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"17","volume":"60 61","author":"plotkin","year":"2004","journal-title":"A structural approach to operational semantics"},{"key":"17","first-page":"26","author":"maillet-contoz","year":"2005","journal-title":"Lussy Atoolbox for the Analysis of Systems On-A-chip at the Transactionallevel"},{"journal-title":"SystemC Methodologies and Applications","year":"2003","author":"mueller","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/MEMCOD.2005.1487900","article-title":"Formal verification of systemcby automatic hardware\/software partitioning","author":"kroening","year":"2005","journal-title":"The Third ACM and IEEE International Conferenceon Formal Methods and Models for Co-Design"},{"key":"16","first-page":"119","article-title":"Loop invariants on demand volume3780 of LNCS","author":"leino","year":"2002","journal-title":"Proceedings 3rd Asian Symposium on Programming Languagesand Systems (APLAS)"},{"key":"13","first-page":"1228","author":"karlsson","year":"2005","journal-title":"Formal Verification of Systemcdesigns Using A Petri-net Based Representation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"12","first-page":"145","author":"herber","year":"2010","journal-title":"A Framework for Automated Hw\/sw Co-verificationof Systemc Designs Using Timed Automata"},{"key":"21","first-page":"5","article-title":"Systemc waitingstateautomata","author":"zhang","year":"2007","journal-title":"EWiC BCS"},{"journal-title":"Abstractionwith Minimum Predicates","year":"2003","author":"chaki","key":"3"},{"key":"20","first-page":"227","author":"shyamasundar","year":"2007","journal-title":"Compositionalreactive Semantics of Systemc and Verification Inrulebase"},{"key":"2","first-page":"247","article-title":"Abstract interpretationof symbolic execution with explit state updates","author":"bubel","year":"2008","journal-title":"On TheInternational Symposia on Formal Methods for Componentsand Objects"},{"year":"0","key":"1"},{"journal-title":"Timed Systemc Waiting-stateautomata","year":"2009","author":"harrath","key":"10"},{"key":"7","first-page":"191","article-title":"Predicate abstraction for softwareverification","author":"flanagan","year":"2002","journal-title":"Proceedings of the 29thAnnual ACM Symposium on Principles and ProgrammingLanguages (POPL)"},{"key":"6","first-page":"45","article-title":"Formal verification of ltl formulasfor systemc designs. Volume 25","author":"drechsler","year":"2003","journal-title":"IEEEInternational Symposium on Circuits and Systems"},{"key":"5","first-page":"337","author":"drechsler","year":"2002","journal-title":"Reachability Analysis for Formalverification of Systemc"},{"key":"4","article-title":"Highlevel verification of control intensive systems using predicateabstraction","author":"clarke","year":"2004","journal-title":"Volume 25 Proc First ACM and IEEE InternationalConference on Formal Methods and Models ForCo-Design"},{"key":"9","article-title":"Compositional reactive semanticsof system-level designs written in systemc andformal verification with predicate abstraction","author":"harrath","year":"2013","journal-title":"Accepted Inthe International Journal of Critical Computer-Based Systems(IJCCBS)"},{"key":"8","first-page":"76","author":"habibi","year":"2006","journal-title":"Generating Finitestate Machines from Systemc"}],"event":{"name":"2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)","start":{"date-parts":[[2013,8,14]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,8,16]]}},"container-title":["2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621630\/6642428\/06642516.pdf?arnumber=6642516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:07:43Z","timestamp":1498093663000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6642516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iri.2013.6642516","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}