{“id”：“https://openalex.org/W4393178190“，”doi“：”https://doi.org/10.44850/arxiv.2403.1512“，”title“：“半自动锈蚀验证的混合方法”，“display_name”：“半自动化锈蚀验证的组合方法”，”publication_year“：2024，”publitation_date“：”2024-03-22“，”ids“：{”openalex“：”https://openalex.org/W4393178190“，”doi“：”https://doi.org/10.48550/arxiv.2403.15122“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2403.15122，“pdf_url”：https://arxiv.org/pdf/2403.15122，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”type“：”preprint“，”type_crossref“：“posted-content”，“indexed_in”：[”arxiv“]，‘open_access’：{”is_oa“：true，”“oa_status”：“green”，“oa_url”：“https://arxiv.org/pdf/2403.15122“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5043302983“，”display_name“：”Sacha-\u00c9lie Ayoun“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Ayoun，Sacha-\ u00c9 lie“，”raw _affiliation_strings“：[/]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5053387892“，”display_name“：”Xavier Denis“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Denis，Xavier'，“raw_affiliation_strings”：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5067580631“，”display_name“：”Petar Maksimovi\u0107“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Maksimov \u0107-，Petar“，”raw _affiliation_strings“：【】}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Gardner，Philippa“，”raw关联字符串“：[]}]，”countries_distict_count“：0，”机构区分count”：0，“对应的作者ID”：[]：0，“cited_by_percentile_year“：{“min”：0，“max”：91}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T11444“，”display_name“：”电子学中的电磁兼容性“，”score“：0.7267，”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/T11444“，”display_name“：”电子学中的电磁兼容性“，”score“：0.7267，”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/T14184“，”display_name“：”镍铝青铜合金的腐蚀行为“，”score“：0.6593，”subfield“：{”id“：”https://openalex.org/subfields/2505“，”display_name“：”材料化学“}，”字段“：{”id“：”https://openalex.org/fields/25“，”display_name“：”材料科学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/friction-stir-processing“，”display_name“：”摩擦搅拌处理“，”score“：0.428989}]，”concepts“：[{”id“：”https://openalex.org/C197781089，“wikidata”：https://www.wikidata.org/wiki/Q575650“，”display_name“：”Rust（编程语言）“，”level“：2，”score“：0.66849315}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.46392712}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.24069425}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2403.15122，“pdf_url”：https://arxiv.org/pdf/2403.15122，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2403.15122，“pdf_url”：https://arxiv.org/pdf/2403.15122，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W4391913857","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W4393178190/ngrams网站“，”“abstract_inverted_index”：{“While”：[0]，“recent”：[1]，“years”：[2]，“have”：[3]，“been”：[4,35]，“witness”：[5]，“to”：[6,43,52,86141]，“a”：[7,49,78108146161169]，“large”：[8]，“body”：[9]，“of”：[10,17,26,61,70,94,99119131136153172186]，“work”：[11]，“on”：[12,37,86]，“97]，“高效”：[13]，“和”：[14,91121144]，“自动化”：[15,59]，“验证“：[16,55,60,69,81104152]，“安全”：[18,62165]，“锈蚀”：[19,28,54,63]，“代码”，“：[20]，“启用”：[21]，“由”：[22167]，“the”：[23,2710011622128184]，“rich”：[24109]，“担保”：[25]，“类型”：[29,89]，“系统”：[30]，“多”：[31]，“少”：[32]，“进度”：[33]，“有”：[34]，“制造”：[36]，“推理”：[38]，“关于”：[39,88]，“不安全”：[40154173]，“代码“：[41174]，”到期“：[42]，”其“：[44]，”唯一“：[45129]，”复杂性。“：[46]，“我们”：[47156]，“提议”：[48]，“混合”：[50]，“方法”：[51]，“端到端”：[53]，“in”：[56]，“其中”：[57]，“强大”：[58]，“是”：[64,84139]，“组合”：[65]，“与”：[66159]，“目标”：[67]，“半自动化”：[68,80]，“不安全~生锈。“：[71]，“To”：[72]，“this”：[73]，“end”，：[74]，“we”：%75]，“present”：[76]，“Gillian-Rust”：77]，“proof-of-concept”：[79]，“tool”：[82]，“that”：[83176]，“able”：[85]，“reason”：[87]，“safety”：[90]，“functional”：[92]，“correctivity”：[93]，“unsafect~ code”。“：[95]，”构建“：[96]，”顶部“：[98]，”Gillian“：[101]，”参数“：[102123]，”组成“：[103]，”平台“：[105]，”吉利安信任“：[106158]，”自动化“：[107]，”分离“：[110]，”逻辑“：[11111 8]，”对于“：[1112150164]，”真实世界“：[113]，”锈蚀“：[114166]，”嵌入“：[115]，”寿命“：[117]，”锈带“：[120]，“预言”：[124]，“RustHornBelt。“：[126]，“使用”：[127]，“扩展性”：[130]，“Gillian”：[132]，“我们的”：[133187]，“新颖”：[134]，“编码”：[135171]，“这些”：[137]，“功能”：[138]，“微调”：[140]，“最大化”：[142]，“自动化”：[143]，“公开”：[145]，“用户友好”：[147]，“API，”：[148]，“允许”：[149]，“低效”：[151]，“代码●●●●。“：[155]，”链接“：[157]，”克鲁索，“：[160]，”最新“：[162]，”验证器“：[163]，”提供“：[168]，”系统“：[170]，”规范“：[175]，”克劳索“：[177]，”可以“：[178]，”使用“：[179]，”但是“：[180]，”不是“：[181]，”验证“：[182]，”演示“：[183]，”可行性“：[185]，”混合~方法。“：[188]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4393178190“，”counts_by_year“：[]，”updated_date“：”2024-06-05T13:39:10.846448“，”created_date:“2024-03-26”}“