{“id”：“https://openalex.org/W1602612730“，”doi“：”https://doi.org/10.1007/3-540-45319-9_22“，”title“：”通过结合显式状态和符号模型检查搜索Powerset Automata“，”display_name“：”结合显式态和符号模型检测搜索Powerset自动机“，”publication_year“：2001，”publitation_date“：”2001-01-01“，”ids“：{”openalex“：”https://openalex.org/W1602612730“，”doi“：”https://doi.org/10.1007/3-540-45319-9_22“，”mag“：”1602612730“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45319-9_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-45319-9_22.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/P431031965","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/3-540-45319-9_22.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[”ITC-IRST“]，”从属关系“：[{”raw_ afiliation _string“：”ITC-IR“，”机构id“：[]}，{”author_position“：”middle“，”author“：”https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940}，“机构”：[{“id”：https://openalex.org/I189158943“，”display_name“：”米兰大学“，”ror“：”https://ror.org/00wjc7c48“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I189158943“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Roveri“，”raw _affiliation_strings“：[“米兰大学”]，”affiliations“：[{”raw _affiliation_string“：”米兰大学“，”institution_ids“：[https://openalex.org/I189158943“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5064234632“，”display_name“：”Piergiorgio Bertoli“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Piergiorgio Bertoli“，”raw_affiation_strings“：[”ITC-IRST“]，”affiliations“：[｛”raw_affiation_string“：”ITC-IRST“，”institution_ids“：[]｝]｝]，”institution_assertions“：[]，”countries_distict_count“：1，”institutions_distinct_count“：1，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.559，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：14，“citation_normalized_percentile”：0.81632，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“313”，“last_page”：“327”}，，“is_retracted”：false，“is_paratext”：false，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.994，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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“，”display_name“：”模型检查“，”score“：0.604968}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.583529}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.564738｝，｛”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.525267}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.522348}，{”id“：”https://openalex.org/keywords/representation网站“，”display_name“：”Representation（politics）“，”score“：0.5213874}，{”id“：”https://openalex.org/keywords/abstraction-model-checking“，”display_name“：”抽象模型检查“，”score“：0.4761541}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.76340103}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6900296}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6025472}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.5213874}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.51405346}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.47945204}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.4761541}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4758401}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”有限状态机“，”level“：2，”score“：0.43972528｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41820005}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3151542}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45319-9_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-45319-9_22.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/P431031965","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-45319-9_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-45319-9_22.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/P431031965","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“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：17，”https://openalex.org/W1503170978","https://openalex.org/W1543281322","https://openalex.org/W1709781114","https://openalex.org/W1992482178","https://openalex.org/W2001289891","https://openalex.org/W2080267935","https://openalex.org/W2081272455","https://openalex.org/W2108838086","https://openalex.org/W2123249903","https://openalex.org/W2135989067","https://openalex.org/W2152406824","https://openalex.org/W2164989576","https://openalex.org/W2911829174","https://openalex.org/W3195578057","https://openalex.org/W4300021588","https://openalex.org/W70402205","https://openalex.org/W74463220“]，”related_works“：[”https://openalex.org/W2952737788","https://openalex.org/W2804745155","https://openalex.org/W278680301","https://openalex.org/W2736259393","https://openalex.org/W2493800215","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W2140364234","https://openalex.org/W1680791603","https://openalex.org/W1572578464“]，”abstract_inverted_index“：{”：[0,17]，“能力”：[1]，“to”：[2,54]，“分析”：[3]，“a”：[4,51]，“数字”：[5]，“系统”：[6]，“under”：[7]，”条件“：[8]，“of”：[9,24,29,43,71,79]，“不确定性”：[10]，“is”：[11,19]，“重要”：[12]，“in”：[13,22,26]，“多个”：[14,88]，“应用程序”：[15,42]，“域”：[16]，“问题”：[18]，“自然”：[20]，“描述”：[21]，“术语“：[23]，“搜索”：[25,73,89,96]，“the”：[27,30,33,36,41,62,72,77102]，“powerset”：[28,56,64]，“automaton”：[31]，“resentating”：[32]，“system”。“：[34]，”然而，“：[35]，”关联“：[37]，”指数“：[38]，”爆炸“：[39]，”预防“：[40]，”传统“：[44]，”模型“：[45,83]，”检查“：[46,84]，”技术。“：[47,85]，”This“：[48]，”work“：[49]，”descriptions“：[50]，”new“：[22]，”approach“：/53]，”searching“：[55]，”automata“：[57]，”which“：[58]，”does“：[59]，”not“：60]，”require“：[61]，”explicit“：[63]，”construction“。“：[65]，”We“：[66,86]，”present“：[67]，”an“：[68]，”efficient“：[69]，”representation“：[70]，”space“：%74]，”based“：[75,91]，”on“：[76,92]，”combination“：%78]，”symbol“：[80]，”and“：[81,98]，”explicit-state“：[82]，”description“：[87]，”algorithmics，“：[90]，”two“：[93]，”different“，”：[94]，“互补“：[95]，”范例“：[97]，”我们“：[99]，”实验“：[100]，”评估“：[101]，“方法”：[103]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W1602612730“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2015，”cited_by_count”：1{“年”：2013，”citecd_by_count“：3}]，”updated_date“：”2024-09-24T00:40:13.662380“，”created_dates“：”2016-06-24“}