{“id”:“https://openalex.org/W1564286197“,”doi“:”https://doi.org/10.1007/3-5440-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、”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“:美国“:”铜牌“,”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“:[“University \u00e0 di Genova”],”affiliations“:[{”raw _affiliation_string“:”University \ u00e0-di Geneva“,”institution_ids“:[https://openalex.org/I83816512“]}]},{”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 _ afiliation_strings“:[“University \u00e0 di Genova”],”affiliations“:[{”raw _affiliation_string“:”University \ u00eO di Geneva“,”institution_ids“:[https://openalex.org/I83816512“]}]}],”institution_assertions“:[],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[]、“correspending_institution_ids“:[[],”apc_list“:{“value”:5000,“currency”:“EUR”,“value_usd”:5392,“provenance”:“doaj”},“apc_payed”:null,“fwci”:2.959,“has_fulltext”:true,“fulltext_o”rigin“:”pdf“,”cited_by_count“:31,”引用_规范化_percentile“:{”value“:0.847977,”is_in_top_1_percent“:false,”is_in_top_10_percents“:false},”cited_by_percentile_year“:{“min”:89,“max”:90},“biblio”:{“volume”:null,“issue”:null,“first_page”:“221”,“last_page”:“235”},‘is_retracted’:false、“is_paratext”:false;“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/keywords/probabilistic-systems网站“,”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},{”id“:”https://openalex.org/keywords/multiset网站“,”display_name“:”Multiset“,”score“:0.5039694}],”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、”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-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、”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/10“,”display_name“:”Reduced不等式“,”score“:0.81}],”grants“:[],”datasets“:【】,”versions“:【],”referenced_works_count“:24,”referrenced_works“:[”https://openalex.org/W1511206757","https://openalex.org/W1522553964","https://openalex.org/W1530612821","https://openalex.org/W1536946401","https://openalex.org/W1544459976","https://openalex.org/W1567137300","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/W1926085771","https://openalex.org/W1967174286","https://openalex.org/W2036526834","https://openalex.org/W2083344324","https://openalex.org/W2123910665","https://openalex.org/W2129073086","https://openalex.org/W2131895477","https://openalex.org/W2571001698","https://openalex.org/W4285719527“],”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“],”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],”case-study“:[82],”apply“:[84],”verify“:88],”automatically“:90],”mutual“:[91,99],”exclusion“:[92100],”formulations“:[95],”ticket“:[98],”algorithma“:[101],”number“:[105],”clients“:[107],”servers“,”:[108],”both“:[112],”客户端“:[113],”server“:[115],”have“:[116],“数据。“:[119]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W1564286197“,”counts_by_year“:[{“年份”:2017,”cited_by_count“:1},{“年度”:2016,”ciped_by_cunt“:2},”{“年”:2015,“cited_by_count”:1},{”year“:2014,”cited_by_count?:1}.,{年“:2012,”citted_by_count“:2}],”updated_date“:”2024-09-24T06:27:36.282925“,”created_date:“2016-06-24”}