{“id”：“https://openalex.org/W2162735029“，”doi“：”https://doi.org/10.109/tcad.2005.854638“，”title“：”验证具有故障定向抽象的定时电路“，”display_name“：”使用故障定向抽象验证定时电路”，“publication_year”：2006，“publiation_date”：“2006-03-01”，“ids”：{“openalex”：“https://openalex.org/W2162735029“，”doi“：”https://doi.org/10.109/tcad.2005.854638“，”mag“：”2162735029“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2005.854638“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5018105292“，”display_name“：”郝峥“，”orcid“：”https://orcid.org/0000-0002-8627-0591}，“机构”：[{“id”：https://openalex.org/I2613432“，”display_name“：”南佛罗里达大学“，”ror“：”https://ror.org/032db5x82“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I2613432“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”None Hao Zheng“，”raw _affiliation_strings“：[“美国佛罗里达州坦帕市南佛罗里达大学计算机科学与工程系”]，”affiliations“：[{”raw_affiliation_string“：”美国佛罗里达州南佛罗里达大学坦帕市计算机科学与工程学系”，“机构ID“：[”https://openalex.org/I2613432“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5014529986“，”display_name“：”Chris J.Myers“，”orcid“：”https://orcid.org/0000-0002-8762-8444}，“机构”：[{“id”：https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”C.J.Myers“，”raw _ afiliation_strings“：[“犹他大学盐湖分校电气与计算机工程系，美国犹他州盐湖分校”]，”affiliations“：[{”raw_ afiliation _string“：”犹他大学电气与计算机工程学系，犹他州盐湖分校，美国犹它州，”，“institution_ids”：[“https://openalex.org/I223532165“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5082821824“，”display_name“：”David Walter“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”D.Walter“，”raw _affiliation_strings“：[“犹他大学计算学院，美国犹他州盐湖分校”]，”affiliations“：[{”raw _affiliation_string“：”犹他大学计算机学院，美国德克萨斯州盐湖学院”，“institution_ids”：[“https://openalex.org/I223532165“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5024750161“，”display_name“：”Scott Little“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”S.Little“，”raw _ afiliation_strings“：[“犹他大学计算学院，美国犹他州盐湖分校”]，“affiliations”：[{https://openalex.org/I223532165“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018623844“，”display_name“：”Tomoki Yoneda“，”orcid“：”https://orcid.org/0000-0002-9804-0240}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”T.Yoneda“，”raw _ afiliation_strings“：[“日本东京国家信息学院（NII）”]，”affiliations“：[{”raw _affiliation_strong“：”日本东京国家情报学院（NIII）“，”institution_ids“：[https://openalex.org/I184597095“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true、”fulltext_origin“：”ngrams“，”cited_by_count？：13，“cited_by_percentile_year”：{“min”：85，”max“：86}，”biblio“：{”volume“：“”25“，”问题“：“3”，”第一页“：”403“，”最后一页“：“412“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9994，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.9965，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/transient-faults（https://openalex.org/关键字/瞬态故障）“，”display_name“：”瞬态故障“，”score“：0.554721}，{”id“：”https://openalex.org/keywords/error检测“，”display_name“：”错误检测“，”score“：0.553435}，{”id“：”https://openalex.org/keywords/delay-fault测试“，”display_name“：”延迟故障测试“，”score“：0.549963}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.532958}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.529984}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7886641}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661（网址：https://www.wikidata.org/wiki/Q673661）“，”display_name“：”Abstraction“，”level“：2，”score“：0.78790224｝，｛”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.74004304}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.6509612｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.519996}，{”id“：”https://openalex.org/C134146338，“wikidata”：https://www.wikidata.org/wiki/Q1815901“，”display_name“：”电子电路“，”level“：2，”score“：0.41738027}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40930265}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39336455}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37757498}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887网址“，”display_name“：”可靠性工程“，”level“：1，”score“：0.34546748}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2005.854638“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“id”：“https://metadata.un.org/sdg/16“，”score“：0.77，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：39，”referrenced_works“：[”https://openalex.org/W1488659932","https://openalex.org/W1490128362","https://openalex.org/W1491037212","https://openalex.org/W1497571013","https://openalex.org/W1536808451","https://openalex.org/W1541691471","https://openalex.org/W1560730347","https://openalex.org/W160297318","https://openalex.org/W1751719170","https://openalex.org/W1796268701","https://openalex.org/W1861370427","https://openalex.org/W1929497867","https://openalex.org/W1996109622","https://openalex.org/W2009965218","https://openalex.org/W2033839526","https://openalex.org/W2038952689","https://openalex.org/W2046206674","https://openalex.org/W2054198444","https://openalex.org/W2054654636","https://openalex.org/W2055284127","https://openalex.org/W2080593426","https://openalex.org/W2090106217","https://openalex.org/W2090551028","https://openalex.org/W2098039922","https://openalex.org/W2099120582","https://openalex.org/W2123021615","https://openalex.org/W2128157830","https://openalex.org/W2132472209","https://openalex.org/W2148325438","https://openalex.org/W2154764836","https://openalex.org/W2161901477","https://openalex.org/W2286934198","https://openalex.org/W2295903414","https://openalex.org/W2730369637","https://openalex.org/W28704707","https://openalex.org/W4230796557","https://openalex.org/W4249906489","https://openalex.org/W4254030842","https://openalex.org/W99603660“]，”related_works“：[”https://openalex.org/W4313163053","https://openalex.org/W4300973204","https://openalex.org/W4247954915","https://openalex.org/W3045811229","https://openalex.org/W2273754158","https://openalex.org/W2131958170","https://openalex.org/W2061122711","https://openalex.org/W2045155990","https://openalex.org/W1483408780","https://openalex.org/W126139558“]，”ngrams_url“：”https://api.openalex.org/works/W2162735029/ngrams网站“，”“abstract_inverted_index”：{“This”：[0,20120]，“paper”：[1121]，“presents”：[2122]，“a”：[3,30,39108117]，“method”：[4,21]，“to”：[5,24,55,99105131]，“address”：[6]，“state”：[7]，“explosion”：[8]，“in”：[9,73]，“timed-circuit”：[10134]，“verification”：[11,27]，“by”：[12,16]，“using”：[13,52124]，“抽象”：[14,49,62]，“定向”：[15]，““：[17,26,57,69,74,81,89101125]，”故障“：[18,41,71,83]，”模型。“：[19]，”允许“：[22]，”我们“：[23]，”分解“：[25]，”问题“：[28]，”到“：[29]，“集合”：[31]，“的”：[32,35,59,80]，“子问题，”：[33]，“每个”：[34,47]，“其中”：[36]，“证明”：[37]，“that”：[38114]，“specific”：[40,70]，“condition”：[42]，“does”：[43]，“not”：[44]，“occurrence”●●●●。“：[45]，”To“：[46]，”subproblem“：[48]，”is“：[50,92,96116]，”applied“：[51130]，”safe“：[53]，”transformations“：[54]，”reduce“：[56]，”complexity“：[58]，”verification“。“：[60]，”The“：[61]，”preserves“：[63]，”all“：[64]，”essential“：[65]，”behaviors“：[66]，”conservatively“：[67]，”for“：[68]，”model“：[72,84]，”混凝土“：[75109]，”description。“：[76]，”因此，“：[77]，”否“：[78]，”违规“：[79]，”给定“：[82]，”是“：[85]，”错过“：[86]，”当“：[87]，”仅“：[88]，”摘要“：[90102]，”描述“：[91]，”分析。“：[93]，”安“：[94]，”算法“：[95]，”也“：[97]，”显示“：[98]，”检查“：[100]，”错误“：[103110]，”跟踪“：[104111]，”要么“：[106]，”查找“：[107]，”或“：[112]，”报告“：[113]，”它“：[115]，”假“：[118]，”否定。“：[119]，”结果“：[123]，”建议“：[126]，”故障导向“：[127]，”抽象“：[128]，”作为“：[129]，”多个“：[132]，”大型“：[133]，”设计。“：[135]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2162735029“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-18T05:40:16.246905“，”created_date:“2016-06-24”}