｛“id”：“https://openalex.org/W1903955310“，”doi“：”https://doi.org/10.1007/3-540-46419-0_7“，”title“：”The PROSPER Toolkit“，”display_name“：”The PROSPER工具箱“，”publication_year“：2000，”publiation_date“：”2000-01-01“，”ids“：{”openalex“：”https://openalex.org/W1903955310“，”doi“：”https://doi.org/10.1007/3-540-46419-0_7“，”mag“：”1903955310“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46419-0_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46419-0_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/3-540-46419-0_7.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5040721287“，”display_name“：”Louise A.Dennis“，”orcid“：”https://orcid.org/0000-0003-1426-1896“｝，”机构“：[｛”id“：”https://openalex.org/I7882870“，”display_name“：”格拉斯哥大学“，”ror“：”https://ror.org/00vtgdb53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I7882870“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Louise A.Dennis“，”raw _affiliation_strings“：【”英国格拉斯哥大学计算科学系，G12 8QQ“】，”affiliations“：[{”raw _affiliation_string“：”英国格拉斯戈大学计算科学学院，G12 9QQ“，”institution_ids“：[“https://openalex.org/I7882870“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5089451899“，”display_name“：”Georgina Collins“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I7882870“，”display_name“：”格拉斯哥大学“，”ror“：”https://ror.org/00vtgdb53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I7882870“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Graham Collins“，”raw _affiliation_strings“：【”格拉斯哥大学计算科学系，G12 8QQ，英国“】，”affiliations“：[{”raw_affiliation_string“：”英国格拉斯哥大学计算机科学系，G12 8QQ“，”institution_ids“：[“https://openalex.org/I7882870“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056365707“，”display_name“：”Michael Norrish“，”orcid“：”https://orcid.org/0000-0003-1163-8467“｝，”机构“：[｛”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Michael Norrish“，”raw _ afiliation_strings“：[“剑桥大学计算机实验室，CB2 3QG，英国”]，”affiliations“：[{”raw _affiliation_string“：”剑桥大学计算机实验，CB2 3GG，英国“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5066545817“，”display_name“：”Richard J.Boulton“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Richard Boulton“，”raw _affiliation_strings“：[“英国爱丁堡大学信息学系，EH1 1HN”]，”affiliations“：[{”raw _affiliation_string“：”英国爱丁伯格大学信息学科，EH1 lHN”，“institution_ids”：[“https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041337242“，”display_name“：”Konrad Slind“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Konrad Slind“，”raw _affiliation_strings“：[“剑桥大学计算机实验室，CB2 3QG，英国”]，”affiliations“：[{”raw _affiliation_string“：”剑桥大学计算机实验，CB2 3GG，英国“，”institution_ids“：]”https://openalex.org/I241749“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5067704470“，”display_name“：”Graham Robinson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I7882870“，”display_name“：”格拉斯哥大学“，”ror“：”https://ror.org/00vtgdb53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I7882870“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Graham Robinson“，”raw _affiliation_strings“：[“英国格拉斯哥大学计算科学系，G12 8QQ”]，”affiliations“：[{”raw_affiliation_string“：”格拉斯哥大学计算机科学系，英国G12 8Q”，“institution_ids”：[“https://openalex.org/I7882870“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5002029908“，”display_name“：”Mike Gordon“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Mike Gordon“，”raw _affiliation_strings“：[“剑桥大学计算机实验室，CB2 3QG，英国”]，”affiliations“：[{”raw _affiliation_string“：”剑桥大学计算机实验，CB2 3GG，英国“，”institution_ids“：[https://openalex.org/I241749“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5015518667“，”display_name“：”Tom Melham“，”orcid“：”https://orcid.org/0000-0002-2462-2782“｝，”机构“：[｛”id“：”https://openalex.org/I7882870“，”display_name“：”格拉斯哥大学“，”ror“：”https://ror.org/00vtgdb53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I7882870“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Tom Melham“，”raw _affiliation_strings“：[“英国格拉斯哥大学计算科学系，G12 8QQ”]，”affiliations“：[{”raw _affiliation_string“：”格拉斯哥大学计算机科学系，G12 8QQ，英国”，“institution_ids”：[“https://openalex.org/I7882870“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：10.893，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：58，”cited_by_percentle__年份”：｛“分钟”：93，“max“：94}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”78“，”last_page“：”92“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9987，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.497032}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8870938}，{”id“：”https://openalex.org/C168167062，“wikidata”：https://www.wikidata.org/wiki/Q1117970“，”display_name“：”组件（热力学）“，”level“：2，”score“：0.7308461}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65673995｝，｛”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.6491793}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.62451386}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.12761024}，{”id“：”https://openalex.org/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46419-0_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46419-0_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“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.1007/3-540-44619-0-7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-46419-0_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/9“，”score“：0.42，”display_name“：”Industry，innovation and infrastructure“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：20，”referrenced_works“：[”https://openalex.org/W1491353074","https://openalex.org/W1508472170","https://openalex.org/W1551406732","https://openalex.org/W1582162693","https://openalex.org/W1590963539","https://openalex.org/W1769649986","https://openalex.org/W1774916044","https://openalex.org/W1787768633","https://openalex.org/W1829244603","https://openalex.org/W1996404651","https://openalex.org/W2033018395","https://openalex.org/W2117029917","https://openalex.org/W2118215721","https://openalex.org/W2130308292","https://openalex.org/W2154105994","https://openalex.org/W4251578430","https://openalex.org/W4253854487","https://openalex.org/W4292003697","https://openalex.org/W4300021588","https://openalex.org/W78882874“]，”related_works“：[”https://openalex.org/W54497855","https://openalex.org/W3125814499","https://openalex.org/W3121970507","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W217960748","https://openalex.org/W2110028391","https://openalex.org/W2090827041","https://openalex.org/W2032233321“]，”ngrams_url“：”https://api.openalex.org/works/W1903955310/ngrams网站“，”abstract_inverted_index“：｛”The“：[0.59]，”Prosper“：[1,54]，”（Proof“：[2]，”and“：[3]，”Specification“：[4]，”Assisted“：[5]，”Design“：[6]，”Environments“：[7]，”project“：[8]，”advants“：[9]，”The“：[10,53,90]，”use“：[11]，”of“：[12,61,84]，”toolkit“：[13]，”which“：[14,56]，”allow“，”：[15,80]，“现有”：[16]，“验证”：[17]，“工具”：[18,39,85]，“至”：[19,22,79,86,89]，“be“：[20,31,45]，”adapted“：[21]，”a“：[23,68,81]，”more“：[24]，”flexible“：[25]，”format“：[26]，”so“：[27]，”that“：/28,43]，”they“：[29]，”may“：[30]，”treated“：[32]，”as“：[33]，”components。“：[34]，”A“：[35]，”系统“：[36]，”合并“：[37]，”这样“：[38]，”变为“：[40]，”另一个“：[41]，”组件“：[42]，”can“：[44]，”嵌入“：[46]，”in“：[47,67,74]，”an“：[48]，”应用程序。“：[49]，”This“：[50]，”paper“：[51]，”descriptions“：[52]，”Toolkit“：[55]，”enables“：[57]，”This“。“：[58]，”性质“：[60]，”通信“：[62]，”介于“：[63]，”组件“：[64]，”是“：[65,72]，”指定“：[66]，”独立于语言“：[69]，”方式。“：[70]，“It”：[71]，“implemented”：[73]，“several”：[75]，“common”：[76]，“programming”：[77]，“languages”：[78]，“wide”：[82]，“variety”：[83]，“have”：[87]，“access”：[88]，“toolkit”。“：[91]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1903955310“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2013，”citted_by_count”：1}，{”year“:2012，”cited_by_count“:1}]，”updated_date“：”2024-06-28T21:50:19.446226“，”created_dates“：”2016-06-24“}”