{“id”：“https://openalex.org/W1545810811“，”doi“：”https://doi.org/10.109/sefm.2004.40“，”title“：”使用DFA的有限并集对无限系统进行符号验证“，”display_name“：”用DFA的无限并集对无穷系统进行符号检验“，”publication_year“：2004，”publitation_date“：”2004-09-28“，”ids“：{”openalex“：”https://openalex.org/W1545810811“，”doi“：”https://doi.org/10.109/sefm.2004.40“，”mag“：”1545810811“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://ieeexplore.ieee.org/document/1347503/“，”pdf_url“：null，”source“：null[源]，”license“：null，”licence_id“：null，”version“：nul，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，“indexed_in”：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null、“any_repository_has_fulltext”：false}，“作者”：[{“author_position”：“first”，“author”：{id“：”https://openalex.org/A5091737579“，”display_name“：”Suman Roy“，”orcid“：”https://orcid.org/00000-0002-5293-824X}，“机构”：[{“id”：https://openalex.org/I82514191“，”display_name“：”霍尼韦尔（美国）“，”ror“：”网址：https://ror.org/02t71h845“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I82514191“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”S.Roy“，”raw _affiliation_strings“：[“Honeywell Technol.Solutions Lab Pvt.Ltd.，Bangalore，India”]}]“countries_distiction_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5091737579“]，”对应的机构ID“：[”https://openalex.org/I82514191“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：65}，”biblio“：{volume“：null，”issue“：null，”first_page“：”56“，”last_page“：”66“}，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9975，”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.9963，“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/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.524116}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.503843}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.77139693}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.71583307}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.69512105}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.5998716}，{”id“：”https://openalex.org/C162392398，“wikidata”：https://www.wikidata.org/wiki/Q272404“，”display_name“：”有限集“，”level“：2，”score“：0.5789978}，{”id“：”https://openalex.org/C104091681，“wikidata”：https://www.wikidata.org/wiki/Q837528“，”display_name“：”确定性有限自动机“，”level“：3，”score“：0.5118503}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.50299305}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4881621}，{”id“：”https://openalex.org/C160403385，“wikidata”：https://www.wikidata.org/wiki/Q220543“，”display_name“：”Queue“，”level“：2，”score“：0.48180932}，{”id“：”https://openalex.org/C181062253，“wikidata”：https://www.wikidata.org/wiki/Q5421886“，”display_name“：”扩展有限状态机“，”level“：3，”score“：0.46714303}，{”id“：”https://openalex.org/C2777145635，“wikidata”：https://www.wikidata.org/wiki/Q515636“，”display_name“：”FIFO（计算和电子）“，”level“：2，”score“：0.4241157}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.41254634}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.41232497}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38389796}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.27371374｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://ieeexplore.ieee.org/document/1347503/“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“，”score“：0.6}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W1532970407","https://openalex.org/W1536744902","https://openalex.org/W1574761428","https://openalex.org/W1586140256","https://openalex.org/W1592689879","https://openalex.org/W1731318210","https://openalex.org/W1980727005","https://openalex.org/W1994564174","https://openalex.org/W2025970201","https://openalex.org/W2043100293","https://openalex.org/W2156429182“]，”related_works“：[”https://openalex.org/W3096056035","https://openalex.org/W3088322742","https://openalex.org/W3011019575","https://openalex.org/W3006574674","https://openalex.org/W3005756820","https://openalex.org/W2952948120","https://openalex.org/W2774638072","https://openalex.org/W2757576996","https://openalex.org/W2416411125","https://openalex.org/W2346665816","https://openalex.org/W2046895474","https://openalex.org/W2020803470","https://openalex.org/W1995917424","https://openalex.org/W1597492784","https://openalex.org/W1592908301","https://openalex.org/W1549106514","https://openalex.org/W1539693581","https://openalex.org/W1534635543","https://openalex.org/W1525776788","https://openalex.org/W11326594“]，”ngrams_url“：”https://api.openalex.org/works/W1545810811/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,97128]，“address”：[1]，“the”：[2,11,72,87105112120161171177]，“verification”：[3]，“problem”：[4]，“of”：[5,24,43,55,74111122143150163]，“FIFO”：[6,38]，“channel”：[7]，“systems”：[8,67]，“by”：[9,20,33,82140175194]，“application”：[10]，“symbol”：[12]，“analysis”：[1310137]，“原则”：[14]，“沟通”：[15]，“协议“：[16]，”可以“：[17，68，93101]，”be“：[18，69，94102]，”建模“：[19]，”a“：[21，5912134141148155]，”有限“：[22，90]，”集合“：[23，5144121499162]，”有限状态“：[25]，”机器“：[26]，”（CFSM）“：[27]，”that“：[28，86，99192]，”communication“：[29]，”between“：[30，89]，”each“：[31169]，”other“：[32]，“交换”：[34]，“消息”：[35]，“通过”：[36]，“无限”：[37]，“通道/队列。“：[39]，”A“：[40]，”Finite“：[41,45]，”Union“：[42]，”Deterministic“：[44]，”Automata“：[46]，”（FUDFA）“：[47]，”is“：[48,85173]，”used“：[49103]，”to“：[50,63132159191]，”represents“：[51]，”。“：[57]，“相当”：[58]，“很少”：[60]，“操作”：[61]，“需要”：[62]，“象征性”：[64]，“分析”：[65]，“这样”：[66]，“实现”：[70]，“on”：[71]，“联合”：[73]，“DFA”：[75,92]，“in”：[76179189]，“多项式”：[77]，“时间”。“：[78]，“The”：[79]，“advantage”：[80]，“gathered”：[81]，“this”：[83117130152]，“approach”：[84118186]，“inclusion”：[88]，“unions”：[91]，“checked”：[95]，“effectively”。“：[96]，”show“：[98]，”FUDFAs“：[100]，”for“：[104119]，”for-ward“：[106]，”and“：[107196]，”backward“：[108]，”reachability“：[109136]，”systems。“：[113]，”It“：[114]，”also“：[115]，”lifts“：[116]，”case“：[121]，”protocol“：/124]，”with“：%125]，”n“：[126]，”queues。“：[127]，”使用“：[129]，”事实“：[131]，”定义“：[133]，”通用“：[135]，”半算法“：[138153]，”参数化“：[139]，”循环“：[144178]，”/spl“：[145180]，”Theta/。“：[146]，”给定“：[147]，”配置“：[151]，”执行“：[154]，”最小“：[156]，”固定点“：[157]，”计算“：[158]，”构造“：[160]，”其“：[164]，”后继“：[165]，”（或“：[166]，”前置）。“：[167]，“At”：[168]，“step”：[170]，“search”：%172]，“accelerated”：[174]，“considering”：[176]，“Theta/”：[181]，“as”：[182]，“additional”：[183]，“meta-transitions”：[184]，“an”：[185]，“approved”：[187]，“similar”：[188]，“nature”：[190]，“proposed”：%193]，“Boigelot”：[195]，“Godefroid”。“：[197]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1545810811“，”counts_by_year“：[]，”updated_date“：”2024-05-16T03:06:33.923529“，”created_dates“：”2016-06-24“}“