{“id”：“https://openalex.org/W2075913776“，”doi“：”https://doi.org/10.1145/360032.360048“，”title“：”程序逻辑分析“，”display_name“：”逻辑分析程序“，”publication_year“：1976，”publiation_date“：”1976-04-01“，”ids“：{”openalex“：”https://openalex.org/W2075913776“，”doi“：”https://doi.org/10.1145/360032.360048“，”mag“：”2075913776“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/360032.360048，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/360032.360048，“源”：{“id”：https://openalex.org/S103482838“，”display_name“：”ACM的通信“，”issn_l“：”0001-0782“，”isn“：[”0001-782“，”1557-7317“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/360032.360048“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5055894990“，”display_name“：”Shmuel Katz“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210167297“，”display_name“：”IBM Research-海法“，”ror“：”https://ror.org/05rw9t746“，”“country_code”“：”IL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Shmuel Katz“，”raw _affiliation_strings“：[“IBM研究中心，Technion，Haifa，Israel”]，“affiliations”：[{“raw_affiliation _string”：“IBM研究中，Technionhttps://openalex.org/I4210167297“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5034436241“，”display_name“：”Zohar Manna“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210167297“，”display_name“：”IBM Research-海法“，”ror“：”https://ror.org/05rw9t746“，”“country_code”“：”IL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Zohar Manna“，”raw _affiliation_strings“：[“IBM研究中心，Technion，Haifa，Israel”]，”affiliations“：[{”raw _affiliation_string“：”IBM研究中心https://openalex.org/I4210167297“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：17.638，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：{”卷“：”19“，”问题“：”4“，”第一页“：”188“，”last_page“：”206“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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.9991，“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.9975，“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/program-repair网站“，”display_name“：”程序修复“，”score“：0.54578}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.532646}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.529846}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.507086}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”形式验证“，”score“：0.504698}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.92196286}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.80565923}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65218973}，{”id“：”https://openalex.org/C2983390893，“wikidata”：https://www.wikidata.org/wiki/Q1092582“，”display_name“：”逻辑分析“，”level“：3，”score“：0.4377897}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.43191293}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36956215}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.10448226}，{”id“：”https://openalex.org/C6260981，“wikidata”：https://www.wikidata.org/wiki/Q745328“，”display_name“：”数理统计“，”level“：2，”score“：0.0｝，｛”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.1145/360032.360048，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/360032.360048，“源”：{“id”：https://openalex.org/S103482838“，”display_name“：”ACM的通信“，”issn_l“：”0001-0782“，”isn“：[”0001-782“，”1557-7317“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/360032.360048，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/360032.360048，“源”：{“id”：https://openalex.org/S103482838“，”display_name“：”ACM的通信“，”issn_l“：”0001-0782“，”isn“：[”0001-782“，”1557-7317“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，“versions”：【】、“referenced_works_count”：11，“reference d_works”：【”https://openalex.org/W109993195","https://openalex.org/W1599518374","https://openalex.org/W1978367838","https://openalex.org/W2002857709","https://openalex.org/W2008485543","https://openalex.org/W2160363852","https://openalex.org/W2611469509","https://openalex.org/W2752908210","https://openalex.org/W2987907651","https://openalex.org/W4229882655","https://openalex.org/W4252118608“]，”related_works“：[”https://openalex.org/W4361000813","https://openalex.org/W4200456901","https://openalex.org/W3168910894","https://openalex.org/W2745199060","https://openalex.org/W2138154145","https://openalex.org/W2097110854","https://openalex.org/W2078498437","https://openalex.org/W1836373119","https://openalex.org/W1604988569","https://openalex.org/W1564871014“]，”ngrams_url“：”https://api.openalex.org/works/W2075913776/ngrams网站“，”“abstract_inverted_index”：{“大多数”：[0]，“存在”：[1]，“系统”：[2]，“用于”：[3,70,81,88103]，“验证”：[4]，“的”：[5,46,63,74100109]，“计算机”：[6]，“程序”：[7,28,47]，“是”：[8,29]，“不完整”：[9]，“in”：[10,57]，“that”：[11]，“中间”：[12]，“归纳”：[13]，“断言”：[14]，“必须”：[15]，“是”：[16]，“提供”：[17]，“手动”：[18]，“由”：[19,48]，“处理“：[20,58,64,71,83,98101104]，”用户“：[21]，”终止“：[22]，”是“：[23,54,66]，”不是“：[24,30]，”已证明“：[25]，”和“：[26107]，”不正确“：[27]，“。“：[31]，”As“：[32]，”a“：[33,43]，”统一“：[34]，”解决方案“：[35]，”to“：[36,68,85]，”these“：[37]，”problems，“：[38]，”this“：[39]，”paper“：[40,65]，”suggests“：【41】，”conducting“：【42】，”logical“：【44110】，”analysis“：【45】，”using“：【49，82】，”不变量“：【50，84】，”which“：【51】，“express”：[52]，“what”：[53]，“actually”：[55]，“occurring”：[56]，“program”。“：[59]，”The“：[60,76]，”first“：[61]，”part“：[62,78,96]，”dedicated“：[67]，”technologies“：[69]，”automatic“：[72105]，”generation“：[73]，”invarants“。“：[75]，”第二“：[77]，”提供“：[79]，”标准“：[80]，”检查“：[86]，”同时“：[87]，”正确性“：[89]，”（包括“：[90]，”终止）“：[91]，”或“：[92]，”不正确。“：[93]，”A“：[94]，”第三“：[95]，”检查“：[97]，”暗示“：[99]，”方法“：[102]，”诊断“：[106]，”纠正“：[108]，”错误。“：[111]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2075913776“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2023，”“cited_by_cunt”：1}，}“年份“：2022，”updated_date“：”2024-06-21T02:58:07.781830“，”创建日期“：”2016-06-24“}