{“id”：“https://openalex.org/W2888063439“，”doi“：”https://doi.org/10.1007/978-3-319-99933-3_5“，”title“：”数值软件的稳健非终结性分析“，”display_name“：”数字软件的稳健无终结性分析”，“publication_year”：2018，“publiation_date”：“2018-01-01”，“ids”：{“openalex”：“https://openalex.org/W2888063439“，”doi“：”https://doi.org/10.1007/978-3-319-99933-3_5“，”mag“：”2888063439“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-99933-3_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://arxiv.org/pdf/1804.01391“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：true，”raw_author_name“：”Bai Xue“，”raw _affiliation_strings“：[“中国科学院软件研究所计算机科学国家重点实验室”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5026435847“，”display_name“：”Naijun Zhan“，”orcid“：”https://orcid.org/0000-0003-3298-3817}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Naijun Zhan“，”raw _affiliation_strings“：[“中国科学院软件研究所计算机科学国家重点实验室，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5078253695“，”display_name“：”杨佳丽“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yangjia Li“，”raw关联字符串“：[“中国科学院软件研究所计算机科学国家重点实验室”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5058964600“，”display_name“：”王秋叶“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Qiuye Wang“，”raw _ afiliation_strings“：[“中国科学院软件研究所计算机科学国家重点实验室”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5089413793“]，”对应的机构ID“：[”https://openalex.org/I4210128818“]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”cited_by_percentle_year“：｛”min“：74，”max“：77｝，”biblio“：｛”volume“：null，“issue”：null，“first_page”：“69”，“last_page”：“88”｝，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9993，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9965，“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/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.561414}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.55016}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.534574}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.514916}，{”id“：”https://openalex.org/keywords/timing-analysis网站“，”display_name“：”时序分析“，”score“：0.513917}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8490132}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.76179326}，{”id“：”https://openalex.org/C136625980，“wikidata”：https://www.wikidata.org/wiki/Q663208“，”display_name“：”舍入“，”level“：2，”score“：0.61915535}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.589421}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.5774858}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”级别“：3，”分数“：0.44441006}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42118654}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33622655}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.18262073}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-99933-3_5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1804.01391，“pdf_url”：https://arxiv.org/pdf/1804.01391，“源”：{“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/11804.01391，“pdf_url”：https://arxiv.org/pdf/1804.01391，“源”：{“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”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：46，“refernced_works”：[”https://openalex.org/W1012186786","https://openalex.org/W146333850","https://openalex.org/W1496468608","https://openalex.org/W1499072146","https://openalex.org/W1503406871","https://openalex.org/W1565786776","https://openalex.org/W1575647584","https://openalex.org/W1607353007","https://openalex.org/W1870770210","https://openalex.org/W1880805667","https://openalex.org/W1948975400网址","https://openalex.org/W1968428133","https://openalex.org/W1971566420","https://openalex.org/W1973425711","https://openalex.org/W1979646426","https://openalex.org/W1992577886","https://openalex.org/W2021012570","https://openalex.org/W2033118636","https://openalex.org/W2039205672","https://openalex.org/W2041794362","https://openalex.org/W2042703847","https://openalex.org/W2046491103","https://openalex.org/W2066257627网址","https://openalex.org/W2096096565","https://openalex.org/W2101893420","https://openalex.org/W2115215132","https://openalex.org/W2115520718","https://openalex.org/W2116364955","https://openalex.org/W2116586985","https://openalex.org/W2119974577","https://openalex.org/W2131395649","https://openalex.org/W2147263168","https://openalex.org/W2167019375","https://openalex.org/W2290989530","https://openalex.org/W2507512032","https://openalex.org/W2536620281","https://openalex.org/W2602098845","https://openalex.org/W2604925741","https://openalex.org/W2796836074","https://openalex.org/W2912522929","https://openalex.org/W2987907651","https://openalex.org/W3210839039","https://openalex.org/W4206734868","https://openalex.org/W4234413063","https://openalex.org/W4236847445","https://openalex.org/W4246575101“]，”related_works“：[”https://openalex.org/W4220780102","https://openalex.org/W3196334750","https://openalex.org/W3008339103","https://openalex.org/W2410881844","https://openalex.org/W2367207301","https://openalex.org/W2116281088","https://openalex.org/W2016668641","https://openalex.org/W2004257129","https://openalex.org/W1604988569","https://openalex.org/W1502401885“]，”ngrams_url“：”https://api.openalex.org/works/W2888063439/ngrams网站“，”“abstract_inverted_index”：{“数字”：[0]，“软件”：[1]，“是”：[2,28103154]，“广泛”：[3]，“使用”：[4136]，“in”：[5,24,61]，“安全关键”：[6]，“系统”：[7,23,71120]，“例如”：[8,22,63117]，“as”：[9,64118]，“飞机”：[10]，“卫星”：[11]，“汽车”：[12]，“发动机”：[13]，“和“：[14111]，”许多“：[15]，”其他“：[16]，”字段，“：[17]，”促进“：[18]，”动态”：[19]，“控制”：[20]，“的”：[21,37,70,77,83,96,99108164]，“实际”：[25,48]，“时间”。“：[26]，”它“：[27]，”因此“：[29]，”绝对“：[30]，”必要“：[31]，”到“：[32,92137173]，”验证“：[33]，”他们的“：[34,47]，”正确性。“：[35]，“大多数”：[36]，“这些”：[38]，“验证”：[39]，“是”：[40,58,85171]，“执行”：[41]，“在”：[42]，“理想”：[43]，“数学”：[44]，“模型”：[45]，“但是”：[46]，“处决”：[49]，“可能”：[50112]，“不是”：[51]，“跟随”：[52]，“the”：[53,81139159165]，“models”：[54,62]，“完全正确。“：[55]，”因素“：[56]，”那“：[57133]，”抽象“：[59]，”远离“：[60]，”舍入“：[65]，”错误“：[66]，”可以“：[67134]，”改变“：[68]，”行为“：[69]，”本质上。“：[72]，“As”：[73]，“a”：[74126146155]，“result”，“：[75]，“guaranteers”：[76]，“verified”：[78]，“properties”：[79]，“which”：[80]，“present”：[82]，“interructions”：[84]，“needed”。“：[86]，”In“：[87]，”this“：[88,94]，”paper“：[89]，”we“：/90]，”尝试“：[91]，”地址“：[93]，”问题“：[95]，”非终结“：[97131142151]，”分析“：[98132]，”数值“：[100]，”软件。“：[101]，”无终止“：[102]，”经常“：[104]，”an“：[105]，”意外“：[106]，”行为“：[107]，”计算机“：[109]，”程序“：[110]，”be“：[113135]，”有问题“：[114]，”for“：[115128145]，”applications“：[116]，”实时“：[119]，”with“：[121]，”hard“：[122]，”截止日期。“：[123]，“We”：[124]，“propose”：[125]，“method”：[127]，“robust”：[129141150]，“conditional”：[130]，“under approximate”：%138]，“maximal”：[140]，“input”：[143152]，“set”：[144153156]，“given”：%147172]，“program”。“：[148]，”这里“：[149]，”来自“：[157]，”其中“：[158]，”程序“：[160]，”从不“：[161]，”终止“：[162]，”不管“：[163]，”前面提到的“：[166]，”干扰。“：[167]，”最后，“：[168]，”几个“：[169]，”示例“：[170]，”说明“：[174]，”我们的“：[175]，”方法。“：[176]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2888063439“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2018，”cited_by_count”：1}]，”更新日期“：”2024-05-15T07:35:45.769196“，”创建日期“：“2018-08-31”}