{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:18:29Z","timestamp":1730222309814,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542247","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"page":"9-16","source":"Crossref","is-referenced-by-count":0,"title":["Verification of cache coherence protocols wrt. trace filters"],"prefix":"10.1109","author":[{"given":"Parosh Aziz","family":"Abdulla","sequence":"first","affiliation":[]},{"given":"Mohamed Faouzi","family":"Atig","sequence":"additional","affiliation":[]},{"given":"Zeinab","family":"Ganjeiy","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Reziney","sequence":"additional","affiliation":[]},{"given":"Yunyun","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_24"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00187-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_29"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/146637.146681"},{"key":"ref15","first-page":"53","article-title":"Automatic verification of cache coherence protocols","volume":"1855","author":"delzanno","year":"2000","journal-title":"CAV'00 ser LNCS Emerson and Sistla Eds"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35533-7_11"},{"key":"ref17","article-title":"Liveness with (0, 1, infinity)-counter abstraction","volume":"2404","author":"pnueli","year":"2002","journal-title":"CAV Ser LNCS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04921-2_32"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/800015.808204"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_24"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.23"},{"key":"ref3","first-page":"126","article-title":"Environment abstraction for parameterized verification","volume":"3855","author":"clarke","year":"2006","journal-title":"VMCAI Ser LNCS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_56"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_17"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00103-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561359"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987608"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_27"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_55"},{"key":"ref20","first-page":"82","article-title":"Automatic deductive verification with invisible invariants","volume":"2031","author":"pnueli","year":"2001","journal-title":"TACAS Ser LNCS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69738-1_22"},{"key":"ref24","first-page":"476","article-title":"All for the price of few (parameterized verification through view abstraction)","volume":"7737","author":"abdulla","year":"2013","journal-title":"VMCAI Ser LNCS"},{"key":"ref23","first-page":"208","article-title":"Functional specification of synchronized processes based on modal logic","author":"yonesaki","year":"1982","journal-title":"IEEE 6th InternationalConference on Software Engineering"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.167"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.17"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542247.pdf?arnumber=7542247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:54:20Z","timestamp":1489784060000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542247","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}