{“id”：“https://openalex.org/W4240098661“，”doi“：”https://doi.org/10.109/lics.1991.151664“，”title“：”A partial approach to model checking“，”display_name“：”Apartial approach for model check“，”publication_year“：2002，”publitation_date“：”2002-12-10“，”ids“：{”openalex“：”https://openalex.org/W4240098661“，”doi“：”https://doi.org/10.1109/lics.19991.151664“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151664“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://orbi.uliege.be/bitstream/2268/174850/1/GW%2091%20LICS.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5069392259“，”display_name“：”Patrice Godefroid“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I157674565“，”display_name“：”李大学\u00e8ge“，”ror“：”https://ror.org/00afp2z80“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I157674565“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”P.Godefroid“，”raw _ afiliation_strings“：[“Montefiore学院，B28，University \u00e9 de Li\u00e 8ge，Liege，Belgium”]，”affiliations“：[{”raw _affiliation_string“：”Montefiorie学院，B28,University \ u00e9de Li\u 00e8ge，Leege，比利时”，“institution_ids”：[”https://openalex.org/I157674565“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5074692660“，”display_name“：”Pierre Wolper“，”orcid“：”https://orcid.org/0000-0002-6729-8142}，“机构”：[{“id”：https://openalex.org/I157674565“，”display_name“：”李大学\u00e8ge“，”ror“：”https://ror.org/00afp2z80“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I157674565“]}]，”国家“：[”比利时“]，”is_corresponding“：false，”raw_author_name“：”P.Wolper“，”raw _ afiliation_strings“：[“Montefiore研究所，B28，University \u00e9 de Li\u00e 8ge，Liege，Belgium”]，“afliations”：[{“raw_affiliation_string”：“Montefiore研究院，B28https://openalex.org/I157674565“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：8.189，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：76，”citation_normalized_percentile“：{”value“：0.8327，”is_in_top_1_percent“：false，“is_in_top_10_percent”：false}，“cited_by_percentile_year“：{“min”：94，“max”：95}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.996，”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/T11549“，”display_name“：”烯烃复分解化学“，”score“：0.9923，”subfield“：{”id“：”https://openalex.org/subfields/1605“，”display_name“：”有机化学“}，”字段“：{”id“：”https://openalex.org/fields/16“，”display_name“：”Chemistry“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/trace“，”display_name“：”TRACE（心理语言学）“，”score“：0.7118544}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.644589}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.567815}，{”id“：”https://openalex.org/keywords/intervaling“，”display_name“：”Interleaving“，”score“：0.5662673}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.537669}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”运行时验证“，”score“：0.507934}，{”id“：”https://openalex.org/keywords/timed-automaton“，”display_name“：”Timed automaton“，”score“：0.4893381}，{”id“：”https://openalex.org/关键字/b\u00fcchi自动机“，”display_name“：”B\u00fcchi自动机“，”score“：0.48769626｝]，”concepts“：[｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7765449}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.7118544}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6662663}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6386174}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.57669586}，{”id“：”https://openalex.org/C28034677，“wikidata”：https://www.wikidata.org/wiki/Q17092530“，”display_name“：”Interleaving“，”level“：2，”score“：0.5662673}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4941006｝，｛”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.4893381}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.48769626}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39551353}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3212036}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3076527}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.24405724}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.22954738}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151664“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://orbi.uliege.be/bitstream/2268/174850/1/GW%2091%20LICS.pdf，“pdf_url”：https://orbi.uliege.be/bitstream/2268/174850/1/GW%2091%20LICS.pdf，“源”：{“id”：https://openalex.org/S4306401300“，”display_name“：”ORBi（Li\u00e8ge大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I157674565“，”“host_organization_name”：“李大学\u00e8ge”，“host_ordanization_lineage”：[“https://openalex.org/I157674565“]，”host_organization_lineage_names“：[”李大学\u00e8ge“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://orbi.uliege.be/bitstream/2268/174850/1/GW%2091%20LICS.pdf，“pdf_url”：https://orbi.uliege.be/bitstream/2268/174850/1/GW%2091%20LICS.pdf，“源”：{“id”：https://openalex.org/S4306401300“，”display_name“：”ORBi（Li\u00e8ge大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I157674565“，”“host_organization_name”：“李大学\u00e8ge”，“host_ordanization_lineage”：[“https://openalex.org/I157674565“]，”host_organization_lineage_names“：[”李大学\u00e8ge“]，”type“：”repository“｝，”license“：”other oa“，”license_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1488588096","https://openalex.org/W1502942777","https://openalex.org/W1505315292","https://openalex.org/W1547265787","https://openalex.org/W1555070641","https://openalex.org/W1593428110","https://openalex.org/W1655990431网址","https://openalex.org/W1875868519","https://openalex.org/W1975657455","https://openalex.org/W2000210358","https://openalex.org/W2016300863","https://openalex.org/W2019881090","https://openalex.org/W2036526834","https://openalex.org/W2039812824","https://openalex.org/W2042087007","https://openalex.org/W2057260173","https://openalex.org/W2061438988","https://openalex.org/W2086440639","https://openalex.org/W2090398333","https://openalex.org/W2107168574","https://openalex.org/W2117189826","https://openalex.org/W2138856440","https://openalex.org/W2140028191","https://openalex.org/W2141585059","https://openalex.org/W2153358971","https://openalex.org/W2153439859","https://openalex.org/W2155756511","https://openalex.org/W2165161585","https://openalex.org/W2280396455","https://openalex.org/W2479781626","https://openalex.org/W2806619258","https://openalex.org/W2979799416","https://openalex.org/W4242654370","https://openalex.org/W4243721161","https://openalex.org/W4244602219","https://openalex.org/W4249906489","https://openalex.org/W4251704629","https://openalex.org/W4254030842","https://openalex.org/W43147964“]，”related_works“：[”https://openalex.org/W4253571630","https://openalex.org/W2837991191","https://openalex.org/W2741423451","https://openalex.org/W2584929923","https://openalex.org/W2462966030","https://openalex.org/W2155870982","https://openalex.org/W2133697637","https://openalex.org/W2102661759","https://openalex.org/W1873898332","https://openalex.org/W1546526613“]，”abstract_inverted_index“：｛”A“：[0]，”模型检查“：[1]，”方法“：[2,23115]，”for“：[3103130]，”线性时间“：[4108]，”时态“：[5]，”逻辑“：[6]，”that“：[7，42,87]，”避免“：[8]，”the“：[9，14,26,29,97104114]，”state“：[10]，”explosion“：[11]，”due“：[12]，”to“：[13,75]，”modeling“：[15]，“of”：[16,28,46,5813116]，“并发”：[17]，“by”：[18]，“交织“：[19]，”是“：[20,82,85,90126]，”。“：[21]，”“The”：[22111]，“depends”：[24]，“on”：[25,44,56121]，“concept”：[27]，“Mazurkiewicz”：[30]，“trace”：[31,98]，“as”：[32,92]，“a”：[33]，“semantic”：[34]，“basis”：[35]，“and”：[36,71]，“uses”：[37]，“automata-theoryal”：[38]，“technologies”：[39]，“including”：[40]，“自动机”：[41,54,68,79]，“操作”：[43]，“单词”：[45,57]，“序号”：[47]，“高”：[48]，“比”：[49]欧米茄“：[50,60,64,94]，”。“：[51]，”In“：[52]，”specific“：[53]，”operating“：[55]，”length“：[59]，”*n“，”：[61]，”n“：[62]，”In“：[63107]，”are“：65,69,80]，”defined。“：[66]，”这些“：[67]，”研究“：[70]，”an“：[72,93]，”高效“：[73]，”算法“：[74]，”检查“：[76]，”是否“：[77]，”这样“：[78]，”非空“：[81]，”给定。“：[83]，“It”：[84]，“show”：[86]，“when”：[88]，“It”：[89]，“viewed”：[91]，“*n”：[95]，“automaton，”：[96]，“automaton”：[99106]，“can”：[100]，“be”：[101]，“substited”：[102]，“production”：[105]，“model”：[109131]，“checking”。“：[110]，”效率“：[112]，”P.“：[117]，”Godefroid“：[118]，”（Proc.“：[119]，”车间“：[120]，”计算机“：[122]，”辅助“：[123]，”验证“：[124]，”1990）“：[125]，”因此“：[127]，”完全“：[128]，”可用“：[129]，”检查<":[132],">“：[135]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4240098661“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年度“：2019，”cited_by_count”：2}，“{”年份“：2018，”citecd_by_count“：2]，”年份“:2017，”citesd_by_count“:1}”，{“年份”：2015，”citted_by-count“:1}，”年号“：2013，”ciited_by/count“:1}]，”更新日期“：”2024-09-12T00:36:23.379978“，”创建日期“：”2022-05-12“}