{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:47:01Z","timestamp":1759146421626,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210099","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"145-152","source":"Crossref","is-referenced-by-count":11,"title":["On the use of a high-level fault model to check properties incompleteness"],"prefix":"10.1109","author":[{"given":"F.","family":"Fummi","sequence":"first","affiliation":[]},{"given":"G.","family":"Pravadelli","sequence":"additional","affiliation":[]},{"given":"A.","family":"Fedeli","sequence":"additional","affiliation":[]},{"given":"U.","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"F.","family":"Toto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1999.761163"},{"key":"ref11","first-page":"169","article-title":"High-level and hierarchical test sequence generation","author":"goloubeva","year":"2002","journal-title":"Proc of IEEE High Level Design Verification and Test (HLDVT)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETW.2000.873785"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2001.966704"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224422"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/12.817386"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","article-title":"Application of temporal logic to the specification and verification of reactive systems: a survey of concurrent trends","volume":"224","author":"pnueli","year":"1986","journal-title":"Current Trends in Cuncurrency LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022460"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/309847.309936","article-title":"Coverage estimation for symbolic model checking","author":"hoskote","year":"1999","journal-title":"Proceedings of ACM\/IEEE Design Automation Conference (DAC)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-44585-4_7","article-title":"A practical approach to coverage in model checking","author":"chockler","year":"2001","journal-title":"Proceedings of ACM Conference on Computer Aided Verification (CAV)"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-48153-2_21","article-title":"Have i written enough properties? - a method of comparison between specification and implementation","author":"katz","year":"1999","journal-title":"Proceedings of ACM Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME)"},{"key":"ref2","first-page":"655","article-title":"Rule-base, an industry-oriented formal verification tool","author":"beer","year":"1996","journal-title":"Proceedings of ACM\/IEEE Design Automation Conference (DAC)"},{"article-title":"Symbolic model checking","year":"1993","author":"mcmillan","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224436"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210099.pdf?arnumber=1210099","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T19:30:12Z","timestamp":1705001412000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210099\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210099","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}