{“id”：“https://openalex.org/W1571904738“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_41“，”title“：”DiVer:SAT-Based Model Checking Platform for Verifying Large Scale Systems“，”display_name“：”DiVer:SAT-Based Models Checking Platform for Verifying-Lace Systems”，“publication_year”：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1571904738“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_41“，”mag“：”1571904738“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_41.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/978-3-540-31980-1_41.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5085310714“，”display_name“：”马来加奈“，”兽人“：”https://orcid.org/0000-0003-0593-3419}，“机构”：[{“id”：https://openalex.org/I20089843“，”display_name“：”普林斯顿大学“，”ror“：”https://ror.org/00hx57361“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I20089843“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”马来K加奈“，”raw _ afiliation_strings“：[“NEC实验室美国，普林斯顿，新泽西，08540，美国”]，”affiliations“：[{”raw _affiliation_string“：”NEC实验室美洲，普林斯顿https://openalex.org/I20089843“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041231710“，”display_name“：”Aarti Gupta“，”orcid“：”https://orcid.org/0000-0001-6676-9400}，“机构”：[{“id”：https://openalex.org/I20089843“，”display_name“：”普林斯顿大学“，”ror“：”https://ror.org/00hx57361“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I20089843“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Aarti Gupta“，”raw _ afiliation_strings“：[“NEC Laboratories America，Princeton，NJ，08540，USA”]，”affiliations“：[{”raw_ afiliation _string“：”NEC Laburatories Amrica，Princept，NJhttps://openalex.org/I20089843“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5060336834“，”display_name“：”Pranav Ashar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I20089843“，”display_name“：”普林斯顿大学“，”ror“：”https://ror.org/00hx57361“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I20089843“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Pranav Ashar“，”raw _ afiliation_strings“：[“NEC Laboratories America，Princeton，NJ，08540，USA”]，”affiliations“：[{”raw _affiliation_string“：”NEC Laburatories Amrica，Princept，NJhttps://openalex.org/I20089843“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.33，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：14，”引文规范化百分比“：{”value“：0.774396，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“575”，“last_page”：“580”}，‘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.9977，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.993，”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.61932}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.541164}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.539362}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.539066}，{”id“：”https://openalex.org/keywords/model-driven-engineering网站“，”display_name“：”模型驱动工程“，”score“：0.53033}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”分数“：0.5051666}，{”id“：”https://openalex.org/keywords/memory-model“，”display_name“：”内存模型“，”score“：0.42746487}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.8761865}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84949136｝，｛”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.7747221}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.5949434}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.55259156}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.5051666}，{”id“：”https://openalex.org/C2778755073，“wikidata”：https://www.wikidata.org/wiki/Q10858537“，”display_name“：”Scale（ratio）“，”level“：2，”score“：0.4690514}，{”id“：”https://openalex.org/C111335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.46461642}，{”id“：”https://openalex.org/C12186640，“wikidata”：https://www.wikidata.org/wiki/Q6815743“，”display_name“：”内存模型“，”level“：3，”score“：0.42746487}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.42683318}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3586384｝，｛”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.35038906}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32085517}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.29750025}，{”id“：”https://openalex.org/C133875982，“wikidata”：https://www.wikidata.org/wiki/Q764810“，”display_name“：”共享内存“，”level“：2，”score“：0.1648607}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.12241411｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_41.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/978-3-540-31980-1_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_41.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“：[{”score“：0.67，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：25，”referrenced_works“：[”https://openalex.org/W1480866869","https://openalex.org/W1491694697","https://openalex.org/W1495266209","https://openalex.org/W1498403163","https://openalex.org/W1503170978","https://openalex.org/W1510368738","https://openalex.org/W1516564968","https://openalex.org/W1517173520","https://openalex.org/W1812552228","https://openalex.org/W1836483134","https://openalex.org/W2024148935","https://openalex.org/W2080267935","https://openalex.org/W2099386032","https://openalex.org/W2110737535","https://openalex.org/W2142785340","https://openalex.org/W2146422945","https://openalex.org/W2146662253","https://openalex.org/W2151398141","https://openalex.org/W2152280960","https://openalex.org/W2160769880","https://openalex.org/W2167452021","https://openalex.org/W2460337318","https://openalex.org/W2913459036","https://openalex.org/W4231640108","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W2177212599","https://openalex.org/W2156717832","https://openalex.org/W2151898527","https://openalex.org/W2140364234","https://openalex.org/W2136312285","https://openalex.org/W2107680879","https://openalex.org/W1894736207网址","https://openalex.org/W1608699227","https://openalex.org/W1598914363","https://openalex.org/W142178511“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”a“：[2,57148]，”SAT-based“：[3,27,70]，”model“：[4,68]，”checking“：[5]，”platform“：[6]，”（DiVer）“：[7]，”based“：+8]，”on“：[9]，”robust“：[10]，”and“：[11,32,53,74,82100130143155]，”scalable“：[12]，”algorithms“：[13]，”that“：[14]，“are”：[15,46]，“tightly”：[16]，“integrated”：[17]，“for”：[18,61,67,76,89153]，“验证“：[19,37,90]，“大型”：[20,38]，“规模”：[21]，“行业”：[22137]，“设计”。“：[23,39]，”DiVer“：[24124]，”房屋“：[25]，”各种“：[26]，”引擎“：[28,41115]，”每个“：[29120]，”目标“：[30]，”容量“：[31]，”性能“：[33]，”问题“：[34]，”固有“：[35]，”in“：[36,87135]，”The“：[40]，”with“：[42,85,94]，”他们的“：[43117]，”各自“：[44]，”角色“：[45]，“作为”：[47]，“如下：”：[48]，“有界”：[49]，“模型”：[50,72]，“检查”：[51,73]，“（BMC）“：[52]，”分布式“：[54]，”BMC“：[55,88]，”over“：[56127]，”network“：[58]，”of“：[59113122]，”workstates“：[60]，”证伪“：[62]，”Proof-based“：[63]，”Iterative“：[64]，”Abstraction“：【65】，”（PBIA）“：【66】，”reduction“”：【69】，”Unbounded“：【71】，”Inclusion“：【75】，”Proof“”Proof，“：【77】]，“高效”：[78]，“内存”：[79]，“建模”：[80]，“（EMM）”：[81]，“its”：[83]，“组合“：[84]，”PBIA“：[86]，”嵌入式“：[91]，”内存“：[92]，”系统“：[93]，”多个“：[95,98]，”存储器“：[96]，”（带有“：[97]，”端口“：[99]，”任意“：[101]，”初始“：[102]，”状态）。“：[103]，”使用“：[104]，”几个“：[105136]，”工业“：[106]，”案例“：[107]，”研究“：[108]，”我们“：[109]，”描述“：[110]，”相互作用“：[112]，”这些“：[114]，”突出显示“：[116]，”贡献“：[118]，”在“：[119]，”步骤“：[121]，”验证。“：[123]，”已“：[125]，”成熟“：[126]，”3“：[128]，”年“：[129]，”是“：[131]，”正在“：[132]，”使用“：[133]，”广泛“：[134]，”设置。“：[138]，“到期”：[139]，“致”：[140]，“一个”：[141]，“高效”：[142]，“灵活”：[144]，“基础设施”：[145]，“it”：[146]，“提供”：[147]，“非常”：[149]，“生产性”：[150]，“验证”：[151]，“环境”：[152]，“研究”：[154]，“开发。“：[156]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1571904738“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-08-15T02:50:26.274185“，”created_date:“2016-06-24”}