{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:10Z","timestamp":1750221130453,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T00:00:00Z","timestamp":1539820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Facult\u00e9 des sciences Ain Chock CASABLANCA"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,18]]},"DOI":"10.1145\/3289100.3289127","type":"proceedings-article","created":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T08:54:54Z","timestamp":1673686494000},"page":"166-171","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions"],"prefix":"10.1145","author":[{"given":"Lamia","family":"Eljadiri","sequence":"first","affiliation":[{"name":"University Hassan II of Casablanca Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail","family":"Assayad","sequence":"additional","affiliation":[{"name":"ENSEM, University Hassan II of Casablanca Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Zakari","sequence":"additional","affiliation":[{"name":"LGIPM, University of Lorraine, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"System Design with SystemC","author":"Gr\u00f6tker T.","year":"2002","unstructured":"T. Gr\u00f6tker , S. Liao , G. Martin , and S. Swan . System Design with SystemC . Kluwer Academic Pub ., Hingham, MA, 2002 . T. Gr\u00f6tker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Pub., Hingham, MA, 2002."},{"key":"e_1_3_2_1_2_1","volume-title":"Spin Model Checker, the: Primer and Reference Manual","author":"Holzmann Gerard","year":"2003","unstructured":"Gerard Holzmann . Spin Model Checker, the: Primer and Reference Manual . Addison-Wesley Professional , first edition, 2003 . Gerard Holzmann. Spin Model Checker, the: Primer and Reference Manual. Addison-Wesley Professional, first edition, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"McMillan Kenneth L.","year":"1993","unstructured":"Kenneth L. McMillan . Symbolic model checking . Kluwer , 1993 . Kenneth L. McMillan. Symbolic model checking. Kluwer, 1993."},{"key":"e_1_3_2_1_5_1","first-page":"161","volume-title":"Application and Theory of Petri Nets","author":"Queille Jean-Pierre","year":"1981","unstructured":"Jean-Pierre Queille and Joseph Sifakis . Iterative methods for the analysis of petri nets . In Application and Theory of Petri Nets , pages 161 -- 167 , 1981 . Jean-Pierre Queille and Joseph Sifakis. Iterative methods for the analysis of petri nets. In Application and Theory of Petri Nets, pages 161--167, 1981."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318622"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A. Peled . Model Checking . MIT Press , Cambridge, MA, USA , 1999 . Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, Cambridge, MA, USA, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/WINCOM.2017.8238182"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450166"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.130"},{"key":"e_1_3_2_1_12_1","volume-title":"13th IEEE\/ACS AICCSA 2016","author":"Ismail Assayad","year":"2016","unstructured":"Assayad Ismail , EL Jadiri Lamia , Zakari Abdelouahed , and Nahhal Tarik . The \"behavior , interaction and priority\" framework applied to systemc-based embedded systems . In 13th IEEE\/ACS AICCSA 2016 , Agadir, Morocco , 2016 . Assayad Ismail, EL Jadiri Lamia, Zakari Abdelouahed, and Nahhal Tarik. The \"behavior, interaction and priority\" framework applied to systemc-based embedded systems. In 13th IEEE\/ACS AICCSA 2016, Agadir, Morocco, 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645463.655513"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558643"}],"event":{"name":"ICSDE'18: International Conference on Smart Digital Environment","sponsor":["University of Houston"],"location":"Rabat Morocco","acronym":"ICSDE'18"},"container-title":["Proceedings of the 2nd International Conference on Smart Digital Environment"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3289100.3289127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3289100.3289127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:23Z","timestamp":1750208543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3289100.3289127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,18]]},"references-count":14,"alternative-id":["10.1145\/3289100.3289127","10.1145\/3289100"],"URL":"https:\/\/doi.org\/10.1145\/3289100.3289127","relation":{},"subject":[],"published":{"date-parts":[[2018,10,18]]},"assertion":[{"value":"2018-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}