{“id”：“https://openalex.org/W2426237568“，”doi“：”https://doi.org/10.1609/aaai.v30i1.10094“，”title“：”故障传播模型的自动验证和拧紧“，”display_name“：”自动验证和紧缩故障传播模型“，”publication_year“：2016，”publiation_date“：”2016-02-21“，”ids“：{”openalex“：”https://openalex.org/W2426237568“，”doi“：”https://doi.org/10.1609/aaai.v30i1.10094“，”mag“：”2426237568“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1609/aaai.v30i1.10094，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/10094/9953，“源”：{“id”：https://openalex.org/S4210191458“，”display_name“：”……会议记录。。。AAAI人工智能会议“，“issn_l”：“2159-5399”，“issn”：[“21595-5399”，“2374-3468”]，“is_oa”：true，“is_ in_doaj”：false，“host_organization”：“https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”人工智能发展协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“journal-article”，“indexed_in”：[”crossref“]oaurl“：”https://ojs.aaai.org/index.php/aaai/article/download/10094/9953“，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5088054439“，”display_name“：”Benjamin Bittner“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Benjamin Bittner“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5084517152“，”display_name“：”Gianni Zampedri“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Gianni Zampedri“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count“：8，”cited_by_percentile_year“：{“min”：86，“max”：87}，“biblio”：{卷：“30”，“issue”：“1”，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.997，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9951，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.536386}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.533764}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.530541}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.518963}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.511777}]，”concepts“：[{”id“：”https://openalex.org/C97256817，“wikidata”：https://www.wikidata.org/wiki/Q1462316“，”display_name“：”虚假关系“，”level“：2，”score“：0.78551364}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7524482}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.653759｝，｛”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.596041}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.49944448}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.48592415}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039网址“，”display_name“：”Key（lock）“，”level“：2，”score“：0.4720491}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.43625447｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4237575}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40333092}，{”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.33776176}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.33261454}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.3250124}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.18314362}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.1779424}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.115998566}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.09844041}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1609/aaai.v30i1.10094，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/10094/9953，“源”：{“id”：https://openalex.org/S4210191458“，”display_name“：”……会议记录。。。AAAI人工智能会议“，“issn_l”：“2159-5399”，“issn”：[“21595-5399”，“2374-3468”]，“is_oa”：true，“is_ in_doaj”：false，“host_organization”：“https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1609/aaai.v30i1.10094，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/10094/9953，“源”：{“id”：https://openalex.org/S4210191458“，”display_name“：”……会议记录。。。AAAI人工智能会议“，“issn_l”：“2159-5399”，“issn”：[“21595-5399”，“2374-3468”]，“is_oa”：true，“is_ in_doaj”：false，“host_organization”：“https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能发展协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1498203978","https://openalex.org/W1549166962","https://openalex.org/W1600732579","https://openalex.org/W1696263757","https://openalex.org/W1712895775","https://openalex.org/W1889085354","https://openalex.org/W190343156","https://openalex.org/W1973465475","https://openalex.org/W1995758721","https://openalex.org/W2005251125","https://openalex.org/W2026629052","https://openalex.org/W2107925717","https://openalex.org/W2127574833","https://openalex.org/W2139891885","https://openalex.org/W2149329692","https://openalex.org/W2159034414","https://openalex.org/W2168796305","https://openalex.org/W22841058","https://openalex.org/W233122475","https://openalex.org/W949250345“]，”related_works“：[”https://openalex.org/W2982502671","https://openalex.org/W2145683232","https://openalex.org/W2144726625","https://openalex.org/W2078939587","https://openalex.org/W2034873935","https://openalex.org/W1860772589","https://openalex.org/W1748450182","https://openalex.org/W1582574957","https://openalex.org/W1517483046","https://openalex.org/W1503071078“]，”ngrams_url“：”https://api.openalex.org/works/W2426237568/ngrams网站“，”abstract_inverted_index“：{”Timed“：[0]，”Failure“：[1]，”Propagation“：[2]，”Graphs“：[3]，”（TFPG）“：[4]，”are“：[5,28,58]，”used“：[6]，”in“：[7,89106]，”the“：[8,46,50,74102107121125138155159]，”design“：/9]，”of“：[10,16,39,69,67,73101142158170]，”safety-critical“：[11]，”系统“：[12]，”作为“：[13,70]，”a“：[14,29,63131143146152168]，”方式“：[15]，”建模“：[17]，”失败“：[18]，”传播“：[19]，”和“：[20,23,41,52109140151172]，”到“：[21,35,94119135]，”评估“：[22]，”实现“：[24]，”诊断“：[25]，”系统。“：[26]，“TFPG”：[27,57]，“非常”：[30]，“丰富”：[31]，“形式主义：”：[32]，“它们”：[33]，“允许”：[34]，“模型”：[36132]，“布尔”：[37]，“组合”：[38]，“错误”：[40]，“事件”，“：[42]，“也”：[43]，“依赖”：[44]，“on”：[45167]，“操作”：[47]，“模式”：[48]，“系统”：[51]6,66,75103]，“定量”：[53]，“延迟”：[54126]，“介于”：[55127]，“它们”。“：[56]，”经常“：[59]，”产生“：[60]，”手动“：[61]，”来自“：[62]，”给定“：[64147]，”动态“：[65149]，”更大“：[68]，”复杂性“：[69]，”抽象“：[71]，”表示“：[72]，”行为“：[76100114]，”根据“：[77]，”特定“：[78]，”故障“：[79]，”条件。“：[80]，”In“：[81]，”this“：[82,90]，”paper“：[83]，”we“：[84]，”tooll“：[85]，”two“：[86]，”key“：+87]，”difficiencies“：[88]，”process：“：[91]，”first“：[92]，”how“：[93118]，”make“：[95]，”sure“：[96]，”that“：[97110]，”no“：[98111]，”important“：/99]，”is“：[104115165]，“忽略”：[105]，“TFPG，”：[108]，“伪”，：[112]，“不存在”：[113]，“引入；“：[116]，”second，“：[117]，”device“：[120]，”correct“：[122]，”values“：[123]，”for“：[124145154]，”events。“：[128]，”We“：[129]，”propose“：[130]，”checking“：[133]，”approach“：%134164]，”automatically“：[136]，”validate“：[137]，”completemplety“：%139]，”紧密性“：[141]，”TFPG“：/144]，”infinder-state“：%148]，”system“：:150]，”procedure“：[153]，”自动化“：[156]，”synthesis“：[157]，”delay“：[160]，”parameters。“：[161]，”The“：[162]，”proposed“：[163]，”evaluate“：[166]，”number“：[169]，”synthetic“：[171]，”industrial“：[173]，”benchmarks。“：[174]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2426237568“，”counts_by_year“：[{“年份”：2022，”cited_by_count“：2}，{“年度”：2019，”ciped_by_cunt“：2%n，{”年份“：2018，”cited_by_count”：2%n、{“年”：2017，”citted_by_count“:1}，”年“：2016，”citecd_by/count“:1}]，”updated_date“：”2024-05-18T04:37:02.11728“，”创建日期“：”2016-06-24“}