{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T22:52:42Z","timestamp":1774738362157,"version":"3.50.1"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560217","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T17:52:37Z","timestamp":1135273957000},"page":"1052-1059","source":"Crossref","is-referenced-by-count":25,"title":["Complementary use of runtime validation and model checking"],"prefix":"10.1109","author":[{"given":"A.A.","family":"Bayazit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"538","article-title":"Focs: Automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification"},{"key":"14","article-title":"An assertion library for on-chip white-box verification at run-time","author":"nacif","year":"2003","journal-title":"Proceedings of the 4th IEEE Latin-American Test Workshop (LATW'03)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"12","article-title":"Dynamic verification of cache coherence protocols","author":"cantin","year":"1997","journal-title":"Workshop Memory Performance Issues"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/2.191981"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1201\/9781420038163.ch10"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"5","first-page":"242","article-title":"Formal verification of the Encore Gigamax cache consistency protocol","author":"mcmillan","year":"1991","journal-title":"Proc Int l Symp Shared Memory Multiprocessors"},{"key":"4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","article-title":"Compositional reasoning in model checking","author":"berezin","year":"1998","journal-title":"In COMPOS'97 Revised Lectures from the International Symposium on Compositionality The Significant Difference"},{"key":"9","author":"siewiorek","year":"1982","journal-title":"The Theory and Practice of Reliable System Design"},{"key":"8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An OpenSource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560217.pdf?arnumber=1560217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T01:55:35Z","timestamp":1497664535000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560217","relation":{},"subject":[]}}