{“id”：“https://openalex.org/W2911430074“，”doi“：”https://doi.org/10.1007/3-540-36577-x_27“，”title“：”Saturation Unbound“，”display_name“：”饱和未绑定“，”publication_year“：2003，”publiation_date“：”2003-01-01“，“ids”：{“openalex”：“https://openalex.org/W2911430074“，”doi“：”https://doi.org/10.1007/3-540-36577-x_27“，”mag“：”2911430074“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-36577-x_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-36577-X_27.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-36577-X_27.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5071970957“，”display_name“：”Gianfranco Ciardo“，”orcid“：”https://orcid.org/0000-0002-4906-6145}，“机构”：[{“id”：https://openalex.org/I16285277“，”display_name“：”William&Mary“，”ror“：”https://ror.org/03hsf0573“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16285277“]}，{”id“：”https://openalex.org/I267592682“，”display_name“：”Williams（美国）“，”ror“：”https://ror.org/007zhvp17“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I267592682“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Gianfranco Ciardo“，”raw _ afiliation_strings“：[“弗吉尼亚州威廉斯堡威廉与玛丽学院，23187，弗吉尼亚州威廉斯堡”]，”affiliations“：[{”raw_ afiliation _string“：”弗吉尼亚州威廉姆斯堡威廉与玛丽学院，231987，“institution_ids”：[”https://openalex.org/I16285277","https://openalex.org/I267592682“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056917342“，”display_name“：”Robert Marmorstein“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16285277“，”display_name“：”William&Mary“，”ror“：”https://ror.org/03hsf0573“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16285277“]}，{”id“：”https://openalex.org/I267592682“，”display_name“：”Williams（美国）“，”ror“：”https://ror.org/007zhvp17“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I267592682“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Robert Marmorstein“，”raw _ afiliation_strings“：[“威廉与玛丽学院，23187，弗吉尼亚州威廉斯堡”]，”affiliations“：[{”raw_ afiliation _string“：”威廉与玛丽大学，231987，弗吉尼亚州威廉斯堡”，“institution_ids”：[“https://openalex.org/I16285277","https://openalex.org/I267592682“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051613263“，”display_name“：”Radu I.Siminiceanu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16285277“，”display_name“：”William&Mary“，”ror“：”https://ror.org/03hsf0573“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16285277“]}，{”id“：”https://openalex.org/I267592682“，”display_name“：”Williams（美国）“，”ror“：”https://ror.org/007zhvp17“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I267592682“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Radu Siminiceanu“，”raw _ afiliation_strings“：[“弗吉尼亚州威廉斯堡威廉与玛丽学院，23187”]，”affiliations“：[{”raw _affiliation_strong“：”弗吉尼亚州威廉斯堡威廉与玛丽学院，231987”，“institution_ids”：[”https://openalex.org/I16285277","https://openalex.org/I267592682“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：9.349，“has_fulltext”：true，“全文_origin“：”pdf“，”引用_ by_count“：80，”引用_规范化_percentile“：{”value“：0.969865，”is_in_top_1_percent“：false，”is_in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：95，“max”：96}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“379”，“last_page”：“393”}，‘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/T11125“，”display_name“：”系统中Petri网的建模与控制“，”score“：0.9964，”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9883，“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/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.537327}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.525098}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.516776}，{”id“：”https://openalex.org/keywords/platform-based-design网站“，”display_name“：”基于平台的设计“，”score“：0.511652}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.506079}，{”id“：”https://openalex.org/关键字/饱和度“，”display_name“：”饱和度（图论）“，”score“：0.41631454}]，”concepts“：[{”id“：”https://openalex.org/C2779808786，“wikidata”：https://www.wikidata.org/wiki/Q6664603“，”display_name“：”Locality“，”level“：2，”score“：0.6697657}，{”id“：”https://openalex.org/C75553542，“wikidata”：https://www.wikidata.org/wiki/Q178161“，”display_name“：”先验和后验“，”level“：2，”score“：0.5767429}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.5072155}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4962929}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.4712066}，{”id“：”https://openalex.org/C9930424，“wikidata”：https://www.wikidata.org/wiki/Q7426587“，”display_name“：”饱和度（图论）“，”level“：2，”score“：0.41631454}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4146322}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3953405}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.078665346}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.07270098}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-36577-x_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-36577-X-27.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-36577-x_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/3-540-36577-X_27.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“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.74}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：22，”referrenced_works“：]”https://openalex.org/W1491214620","https://openalex.org/W1511470875","https://openalex.org/W1540737511","https://openalex.org/W1564947547","https://openalex.org/W1571497250","https://openalex.org/W1574030932","https://openalex.org/W1578881602","https://openalex.org/W1591890109","https://openalex.org/W1718783241","https://openalex.org/W1861590051","https://openalex.org/W1986755980","https://openalex.org/W2030224590","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W2107561541","https://openalex.org/W2132815291","https://openalex.org/W2142707936","https://openalex.org/W2150309803","https://openalex.org/W2157925880","https://openalex.org/W2161584651","https://openalex.org/W2762210817","https://openalex.org/W3158864670“]，”related_works“：[”https://openalex.org/W5922282","https://openalex.org/W563589758","https://openalex.org/W4234091740","https://openalex.org/W4213350282","https://openalex.org/W2386077341","https://openalex.org/W2230171082","https://openalex.org/W1974056099","https://openalex.org/W1971913216","https://openalex.org/W1556451512","https://openalex.org/W1555349535“]，”abstract_inverted_index“：{”In“：[0]，”previous“：[1]，”work“：[2]，”we“：[3]，”proposed“：[4]，”a“：[5,26,50,60]，”saturation\“：[6]，”algorithm“：[7,62]，”for“：[8]，”符号“：[9,70]，”state-space“：[10,72]，”generation“：[11]，”characterized“：[12]，”by“：[13,36]，”the“：[14]，76,81]，“使用”：[15]，“的”：[16,39,53,83]，“多值”：[17]，“决策”：[18]，“图表”：[19]，“boolean“：[20]，”Kronecker“：[21]，”operators“：[22]，”event“：[23]，”locality“：[24]，”and“：[25,44]，”special“：[27]，”iteration“：[28]，”strategy。“：[29]，”此“：[30,74]，”方法“：[31]，”优于“：[32]，”传统“：[33]，”基于BDD“：[34]，”技术“：[35]，”多个“：[37]，”阶数“：[38]，”量级“：[40]，”in“：[41,85]，”both“：[42]，”空格“：[43]，”时间“：[45]，”but“：[46]，”like“：[47]，”它们，“：[48]，”假设“：[49]，“先验”：[51]，“知识”：[52]，“每个”：[54]，“子模型的”：[55]，“状态”：[56]，“空间”。“：[57]，“我们”：[58]，“介绍”：[59]，“新”：[61]，“那”：[63]，“合并”：[64]，“显式”：[65]，“本地”：[66]，“状态空间”：[67]，“发现”：[68]，“with”：[69]，“全局”：[71]，“生成”。“：[73]，”缓解“：[75]，”建模器“：[77]，”来自“：[78]，”担忧“：[79]，”关于“：[80]，”行为“：[82]，”子模型“：[84]，”隔离。“：[86]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2911430074“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2020，”“cited_by_cunt”：1}，}“年“：2019，”“cited_by-count”“：3}，”“年”“：2018，”“icted_by/count”：2014，“引用_ by_count”：5}，{“年份”：2013，“引用_by_counts”：2}，}“年度”：2012，“引用的by_count斯”：4}]，“updated_date”：“2024-09-14T17:02:57.148364”，“创建日期”：“2019-02-21”}