{“id”：“https://openalex.org/W1564286197“，”doi“：”https://doi.org/10.1007/3-540-46002-0_16“，”title“：”Beyond Parameterized Verification“，”display_name“：”超越参数化验证“，”publication_year“：2002，”publiation_date“：”2002-01-01“，”ids“：{”openalex“：”https://openalex.org/W1564286197“，”doi“：”https://doi.org/10.1007/3-540-46002-0_16“，”mag“：”1564286197“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46002-0_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_16.pdf“，”源“：{”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/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“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_16.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“意大利热那瓦热那瓦大学信息科学研究院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5071901297“，”display_name“：”Giorgio Delzanno“，”orcid“：”https://orcid.org/0000-0001-7030-1050}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giorgio Delzanno“，”raw _affiliation_strings“：[“意大利热那瓦热那瓦大学信息科学研究院”：[]，”corresponding_author_ids“：[]，“apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value”：5000，“currency:”EUR”，“value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：22，“citected_by_percentile_year”：{“min”：87，“max”：88}，：{“volume”：null，“issue”：nul，“first_page”：“221”，“last_page”：“235”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9988，“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/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.549659}，{”id“：”https://openalex.org/关键字/概率系统“，”display_name“：”概率系统“，”score“：0.529467}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.513826}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.510334}，{”id“：”https://openalex.org/keywords/检查点“，”display_name“：”检查点“，”score“：0.504163}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8618276}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.8332194}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.7247976}，{”id“：”https://openalex.org/C56348326，“wikidata”：https://www.wikidata.org/wiki/Q1047554“，”display_name“：”互斥“，”level“：2，”score“：0.7043452｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5752893}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.52999204}，{”id“：”https://openalex.org/C2779623528，“wikidata”：https://www.wikidata.org/wiki/Q864377“，”display_name“：”Multiset“，”level“：2，”score“：0.5039694｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.49649054}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.4790353}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.46717602}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.43791622}，{”id“：”https://openalex.org/C117251300网址，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.42795742}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34055457}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.12775788}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.12662655}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.108254224}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-46002-0_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_16.pdf“，”源“：{”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/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-46002-0_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_16.pdf“，”源“：{”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/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/10“，”score“：0.81，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：19，”referrenced_works“：[”https://openalex.org/W1511206757","https://openalex.org/W1522553964","https://openalex.org/W1536946401","https://openalex.org/W1544459976","https://openalex.org/W1582650717","https://openalex.org/W1605302571","https://openalex.org/W1777025722","https://openalex.org/W1783679080","https://openalex.org/W1854012871","https://openalex.org/W1861590051","https://openalex.org/W1864138857","https://openalex.org/W1913196744","https://openalex.org/W1916487582网址","https://openalex.org/W1967174286","https://openalex.org/W2036526834","https://openalex.org/W2083344324","https://openalex.org/W2123910665","https://openalex.org/W2129073086","https://openalex.org/W2571001698“]，”related_works“：[”https://openalex.org/W642373709","https://openalex.org/W4252242530","https://openalex.org/W4210495575","https://openalex.org/W3131075420","https://openalex.org/W2526476098","https://openalex.org/W2155880381","https://openalex.org/W16617677","https://openalex.org/W1585460393","https://openalex.org/W1504820687","https://openalex.org/W1497581330“]，”ngrams_url“：”https://api.openalex.org/works/W1564286197/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“present”：[1]，“a”：[2,22,36]，“sound”：[3]，“and”：[4,38,49,65109114]，“fully”：[5,89]，“automated”：[6]，“method”：[7,33,86]，“for”：[8,57,94]，“the”：[9,44,71,85,97104]，“verification”：[10,59]，“of”：[11,14,25,46,54,60,73,96106]，“安全”：[12,61]，“属性”：[13,62,93]，“参数化”：[15,55]，“系统”：[16,27,56]，“带有“：[17]，“unbounded”：[18117]，“local”：[19118]，“data”：[20]，“variables”：[21]，“new”：[23,52]，“class”：[24]，“infine-state”：[26]，“parameter”：[28102]，“in”：[29103110]，“severy”：[30]，“dimensions”。“：[31]，”The“：[32]，”builds“：[34]，”on“：[35]，”specification“：[37]，”an“：[39]，”assertional“：[40]，”language“：[41]，”based“：[42]，”on:[43]，”combination“：[45]，”multiset“：[47]，”rewriting“：[48]，”constraints。We“：[50]，”introduce“：[51,67]，”classes“：[53]，”which“：[58111]，”is“：[63]，”decitable“，”：[64]，”We“：66,83]，”abstrations，“：[68]，”defined“：[69]，”at“：[70]，”level“：%72]，”constraintions，“：%74]，”to“：[75,87]，”handle“：76]，”examples“：[77]，”outside“：[78]，”these“：[79]，”类●●●●。“：[80]，”As“：[81]，”案例研究“：[82]，”应用“：[84]，”验证“：[88]，”自动“：[90]，”相互“：[91，99]，”排除“：[92100]，”公式“：[95]，”票证“：[98]，”算法“：[101]，”数量“：[105]，”客户端“：[107]，”服务器“：[108]，”两者“：[112]，”客户端“：[113]，”服务器“：[115]，”拥有“：[116]，“数据。“：[119]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1564286197“，”counts_by_year“：[{”年“：2016，”cited_by_count“：2}，{”年份“：2015，”cited_by_count”：1}，“年份”：2014，”citecd_by_count“：1}.，{“年”：2012，”citted_by_count“:2}]，”updated_date“：”2024-05-20T11:32:17.642514“，”created_date:“2016-06-24”}