{“id”：“https://openalex.org/W2051392531“，”doi“：”https://doi.org/10.109/mtv.2014.21“，”title“：“在微处理器中的RAW危害分析中使用参数化系统的形式验证”，“display_name”：“在处理器中的RAW危害分析中对参数化系统进行形式验证”、“publication_year”：2014，“publication_date”：“2014-12-01”，“ids”：{“openalex”：“https://openalex.org/W2051392531“，”doi“：”https://doi.org/10.109/mtv.2014.21“，”mag“：”2051392531“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/mtv.2014.21“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5066958794“，”display_name“：”Luka Charvat“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Luka Charvat“，”raw _ afiliation_strings“：[“捷克共和国布尔诺科技大学IT4创新卓越中心”]，”affiliations“：[{”raw _affiliation_strong“：”捷克共和国布尔诺理工大学IT4卓越创新中心”，“机构ID“：[”https://openalex.org/I60587646“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5006588826“，”display_name“：”Ale\u0161 Smr\u010dka“，”orcid“：”https://orcid.org/0000-0002-3638-6916}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Ales Smrcka“，”raw _ afiliation_strings“：[“捷克共和国布尔诺科技大学IT4创新卓越中心”]，”affiliations“：[{”raw _affiliation_strong“：”捷克共和国布尔诺理工大学IT4卓越创新中心”，“机构ID“：[”https://openalex.org/I60587646“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086446392“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Toma Vojnar“，”raw _ afiliation_strings“：[“捷克共和国布尔诺理工大学IT4创新中心”]，”affiliations“：[{”raw _affiliation_strong“：”捷克共和国布尔诺理工大IT4创新卓越中心“，”机构ID“：[”https://openalex.org/I60587646“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null.，”fwci“：0.879，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：4，“citation_normalized_percentile”：{“value”：0.6 55794，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：79，”max“：81}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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.9993，“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.9991，“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/T10904“，”display_name“：”可重构计算系统和设计方法“，”score“：0.9983，”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/keywords/functional-verification网站“，”display_name“：”功能验证“，”score“：0.5746351}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.560591}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.55231}，{”id“：”https://openalex.org/keywords/software-fault-localization网站“，”“display_name”“：”“软件错误本地化”“，”score“：0.508698}，{”id“：”https://openalex.org/keywords/program-repair网站“，”display_name“：”程序修复“，”score“：0.504638}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.503896}，{”id“：”https://openalex.org/keywords/intelligent-verification网站“，”display_name“：”智能验证“，”score“：0.46742624}，{”id“：”https://openalex.org/keywords/verification网站“，”display_name“：”Verification“，”score“：0.4146095}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86612767}，{”id“：”https://openalex.org/C43521106，“wikidata”：https://www.wikidata.org/wiki/Q2165493“，”display_name“：”Pipeline（software）“，”level“：2，”score“：0.7029277}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.6305134}，{”id“：”https://openalex.org/C62460635，“wikidata”：https://www.wikidata.org/wiki/Q5508853“，”display_name“：”功能验证“，”level“：3，”score“：0.5746351}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441网址“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.57388014}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.5237194}，{”id“：”https://openalex.org/C49261128，“wikidata”：https://www.wikidata.org/wiki/Q1132455“，”display_name“：”Hazard“，”level“：2，”score“：0.5220632}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”任务（项目管理）“，”级别“：2，”分数“：0.5147648}，{”id“：”https://openalex.org/C3406870，“wikidata”：https://www.wikidata.org/wiki/Q6044160（网址：https://www.wikidata.org/wiki/Q6044160）“，”display_name“：”智能验证“，”level“：5，”score“：0.46742624}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.46647626}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.45674294}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.455477}，{”id“：”https://openalex.org/C204241405，“wikidata”：https://www.wikidata.org/wiki/Q461499“，”display_name“：”Transformation（genetics）“，”level“：3，”score“：0.43008238}，{”id“：”https://openalex.org/C142284323，“wikidata”：https://www.wikidata.org/wiki/Q7921323“，”display_name“：”Verification“，”level“：5，”score“：0.4146095}，{”id“：”https://openalex.org/C202973057，“wikidata”：https://www.wikidata.org/wiki/Q7380130“，”display_name“：”Runtime verification“，”level“：3，”score“：0.41129145}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.36624014}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32558632｝，｛”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.30826163}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”级别“：3，”分数“：0.19353113}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.094898134}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.09198585}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”级别“：4，”分数“：0.07825804}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329网址“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C178790620，“wikidata”：https://www.wikidata.org/wiki/Q11351“，”display_name“：”有机化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/mtv.2014.21“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：21，“referrenced_works”：[”https://openalex.org/W1480909796","https://openalex.org/W1515080744","https://openalex.org/W1554289869","https://openalex.org/W1567646530","https://openalex.org/W1579437898","https://openalex.org/W1582175290","https://openalex.org/W1592314966","https://openalex.org/W1741528175","https://openalex.org/W1860772589","https://openalex.org/W1976886994","https://openalex.org/W2051392531","https://openalex.org/W2073286306","https://openalex.org/W2074186102","https://openalex.org/W2103625331","https://openalex.org/W2109749090","https://openalex.org/W2110440920","https://openalex.org/W2165097265","https://openalex.org/W3145086388","https://openalex.org/W3148913902","https://openalex.org/W4240822630","https://openalex.org/W57231800网址“]，”related_works“：[”https://openalex.org/W4301348901","https://openalex.org/W4205924073","https://openalex.org/W4205300843","https://openalex.org/W3155012083","https://openalex.org/W3120172095","https://openalex.org/W3036403349","https://openalex.org/W2392047570","https://openalex.org/W2361881307","https://openalex.org/W2350806125","https://openalex.org/W2035244079“]，”abstract_inverted_index“：{“实现”：[0]，“的”：[1,5,19,22,41,68,81,99107]，“a”：[2,17,37,49,79,86,91]，“基于管道”：[3]，“执行”：[4]，“指令”：[6]，“in”：[7,58]，“特定目的”：[8]，“微处理器”：[9]，“is”：[10]，“an”：[11]，“错误”：[12]，“易发”：[13]，“任务，“：[14]，”其中“：[15]，”暗示“：[16]，”需要“：[18]，”适当“：[20]，”验证”：[21,94106]，“设计”：[23,42,97]，“结果”：[24]，“设计。“：[25]，”各种“：[26]，”技术“：[27103]，”被“：[28]，”提议“：[29]，”用于“：[30,54104]，”此“：[31,45]，”目的“：[32]，”但“：[33]，”他们“：[34]，”通常“：[35]，”需要“：[36]，”重要“：[38]，”手动“：[39]，”干预“：[40]，”开发人员。“：[43]，“In”：[44]，“work”，：[46]，“we”：【47】，“propose”：【48】，“novely”，：【50】，“highly”：【51】，“automated”：【52】，“method”：【53，64113】，“discoverying”：【55】，“RAW”：【56】，“hazards”：【57101】，“In-order”：【59】，“pipelined”：[60]，“instruction”：〔61〕，“execution”。“：[62]，“我们的”：[63]，“组合体”：[65]，“静态”：[66]，“分析”：[67]，“数据”：[69]，“路径”：[70,84]，“到”：[71,85,95]，“检测”：[72]，“异常”：[73]，“和”：[74,90114]，“可能”：[75]，“危险”：[76]，“后跟”：[77]，“by”：[78]，“转换”：[80]，“探测”：[82]，“有问题”：[83]，“参数化”：[87]，“系统”：[88]，“（PS），”：[89]，“后续”：[92]，“formal“：[93105]，”check“：[96]，”possibility“：[98]，”unhandled“：[100]，”using“：[102]，”PS。“：[108]，”We“：[109]，”have“：[110]，”implemented“：[111]，”ours“：[112]，”successfully“：[115]，”applied“：[116]，”it“：[117]，”on“：[118]，”multiple“：[119]，”nontrivial“：[120]，”微处理器。“：[121]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2051392531“，”counts_by_year“：[{“年份”：2020，”cited_by_count“：1}，{“年度”：2016，”ciped_by_cunt“：1\n，{”年“：2015，”cited_by_count”：1}，{年“：2014，”citted_by_count“:1}]，”updated_date“：”2024-09-15T08:16:40.750886“，”created_dates“：”2016-06-24“}”